Skip to content

Enhanced Workflows for Pull Request Management - #11

Merged
rmottanet merged 1 commit into
rmottanet:mainfrom
rmottainfo:enhance/pull-request
Aug 17, 2025
Merged

Enhanced Workflows for Pull Request Management#11
rmottanet merged 1 commit into
rmottanet:mainfrom
rmottainfo:enhance/pull-request

Conversation

@rmottanet

Copy link
Copy Markdown
Owner

This pull request introduces significant improvements and new features to the existing workflows for managing pull requests (PRs), aiming to enhance the robustness, flexibility, and usability of the automation processes. The updates include more detailed error validation for PR creation and the addition of multiple merge strategies.

Implemented Scripts

  • gh-pr-create.yml: This workflow, which automates the creation of pull requests, has been enhanced to provide more robust feedback on the success or failure of the operation. The new version checks the exit code of the gh pr create command to display clearer and more useful success or error messages. Additionally, the inclusion of the GH_DEBUG=true environment variable now provides more detailed debug logs, which are crucial for troubleshooting.

  • gh-pr-merge.yml: The merge workflow has been completely restructured to support different merging strategies (merge, squash, and rebase), offering greater flexibility to developers. The previous version was limited to the squash strategy, while this new version allows the user to select the desired option directly from the GitHub Actions interface.

* Github Actions update gh-pr-merge.yml

* Github Actions update gh-pr-create.yml
@rmottanet rmottanet self-assigned this Aug 17, 2025
@rmottanet rmottanet added the enhancement New feature or request label Aug 17, 2025
@rmottanet
rmottanet merged commit 636c627 into rmottanet:main Aug 17, 2025
@rmottanet
rmottanet deleted the enhance/pull-request branch October 18, 2025 13:36
@rmottanet rmottanet added this to @CL1 Jul 11, 2026
@github-project-automation github-project-automation Bot moved this to Done in @CL1 Jul 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant