latest 8 messages by Hoffman
+
[2020-03-03T22:31:25Z]
Hoffman
yes, a pull request can be deleted and recreated
+
[2020-02-17T18:54:27Z]
Hoffman
Keshu2212: if this branch is configured correctly with a remote, git pull will pull the latest from this branch you are on
+
[2020-02-17T18:51:05Z]
Hoffman
Keshu2212: otherwise, you can always run 'git pull' to get the latest from it
+
[2020-02-17T18:50:55Z]
Hoffman
Keshu2212: assuming you pushed them from this machine
+
[2020-02-17T18:49:57Z]
Hoffman
Keshu2212: then you already have the changes from that PR
+
[2020-02-17T18:43:43Z]
Hoffman
Keshu2212: in your local repository, you would run `git checkout branch`, where "branch" is the source branch for the PR
+
[2020-02-17T18:42:14Z]
Hoffman
Keshu2212: you want to import the changes, from the PR, into your local repository?
+
[2020-02-17T18:39:26Z]
Hoffman
Keshu2212: you want to test the changes in their PR?