Why pull request button not working · Issue #2047 · gogs/gogs · GitHub
GitHub - geoadmin/action-milestone-tag: Github Action to tag the repository on Pull Request merge. The tag is based on the milestone title plus optionally an incremental number. This repo is maintained by IGEB-B.
Events that trigger workflows - GitHub Docs
Pick Tests To Run Using The Pull Request Text | Better world by better software
A GitHub Action to generate tags used for releases : r/github
Create a pull request to review and merge code - Azure Repos | Microsoft Learn
GitHub - David-Lor/action-tag-on-pr-merge: Github Action for creating a new Tag on a Pull Request merge
What are Github tags and how to create a tag in github repository?
Managing tags in GitHub Desktop - GitHub Docs
Checking out pull requests locally - GitHub Enterprise Server 3.9 Docs