Updated Git Tips (markdown)
parent
b6063938dc
commit
5af98a2e80
1 changed files with 10 additions and 0 deletions
10
Git-Tips.md
10
Git-Tips.md
|
@ -46,6 +46,16 @@ More information is available in the [Contributing guidelines][contributing].
|
|||
1. Once you're ready, push your local commits (`git push`)
|
||||
- for the first commit on a new branch, use (`git push -u origin <branch>`)
|
||||
|
||||
# Pull Requests
|
||||
|
||||
1. On GitHub, [create a Pull Request](https://github.com/markcheret/footnotes/compare) for your new branch to `main`
|
||||
- if it's not ready yet, you can create a draft Pull Request that can't be merged until you un-draft it (but people can still review and comment on it)
|
||||
1. Tag any related Issues in the PR
|
||||
- if you want the PR to automatically close the Issues on merge, say 'Closes #<number>' or 'Fix #<number>'
|
||||
1. If applicable, assign the PR to a Project and/or Milestone
|
||||
- Projects are grouping of Issues and PRs with a given theme/objective
|
||||
- Milestones are target states and the Issues and PRs that are required to reach that state
|
||||
|
||||
# Branches
|
||||
|
||||
1. You can delete local branches when you are done with them (`git branch -d <branch name>`)
|
||||
|
|
Reference in a new issue