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
8/??] Pull Request & Tags - Git & GitHub pour Débutants - Tutoriel français 2018 - YouTube
updating of tags from GitHub not coming to Desktop · Issue #10218 · desktop/desktop · GitHub
Creating a pull request - GitHub Docs
Introducing draft pull requests - The GitHub Blog
git - Merge pull request to a different branch than default, in Github - Stack Overflow
How To Create A Pull Request on Github: Propose Changes to GitHub Repositories | Earth Data Science - Earth Lab
bumpr - Bump version when merging Pull Request with specific labels · Actions · GitHub Marketplace · GitHub
Create a pull request to review and merge code - Azure Repos | Microsoft Learn
Pull Request Dashboard - Visual Studio Marketplace
How to create a pull request in GitHub | Opensource.com
Git Common-Flow 1.0.0-rc.3 | Git Common Flow
Managing tags in GitHub Desktop - GitHub Docs
Creating a pull request - GitHub Docs
How to show SonarCloud results in GitHub/Pull Request/Check tag? - SonarCloud - Sonar Community
Why pull request button not working · Issue #2047 · gogs/gogs · GitHub
Introducing draft pull requests - The GitHub Blog
What are Github tags and how to create a tag in github repository?
How to create a Pull Request to a third-party GitHub repository