How To Create A Pull Request on Github: Propose Changes to GitHub Repositories | Earth Data Science - Earth Lab
Merging a pull request - GitHub Docs
A GitHub Action to generate tags used for releases : r/github
bumpr - Bump version when merging Pull Request with specific labels · Actions · GitHub Marketplace · GitHub
GitHub - David-Lor/action-tag-on-pr-merge: Github Action for creating a new Tag on a Pull Request merge
Managing tags in GitHub Desktop - GitHub Docs
Checking out pull requests locally - GitHub Enterprise Server 3.9 Docs
Creating a pull request - GitHub Docs
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.