Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
docs:guide-developer:working-with-github-pr [2021/02/18 18:08] – Add reopen instructions adrianschmutzlerdocs:guide-developer:working-with-github-pr [2023/03/18 23:29] (current) – [Reopen closed PR] he/she -> they ryanc
Line 172: Line 172:
  
 Now you got GitHub at the state it was at when closing the PR. It should now be possible to "reopen" the PR. Now you got GitHub at the state it was at when closing the PR. It should now be possible to "reopen" the PR.
-Note that this will only be possible if //you// closed it. If it was closed by an admin, you will have to ask an admin to reopen it (though he/she will also only be able to do that when the branch is at the proper hash).+Note that this will only be possible if //you// closed it. If it was closed by an admin, you will have to ask an admin to reopen it (though they will also only be able to do that when the branch is at the proper hash).
 If the PR is reopened, you can update as usual, e.g. If the PR is reopened, you can update as usual, e.g.
  
  • Last modified: 2021/02/18 18:08
  • by adrianschmutzler