From 5af98a2e805c85b19490da0c99d129265fb71441 Mon Sep 17 00:00:00 2001 From: Rumperuu Date: Sat, 17 Apr 2021 22:18:04 +0100 Subject: [PATCH] Updated Git Tips (markdown) --- Git-Tips.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/Git-Tips.md b/Git-Tips.md index 38e75f9..01c525d 100644 --- a/Git-Tips.md +++ b/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 `) +# 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 #' or 'Fix #' +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 `)