Skip to content

Instantly share code, notes, and snippets.

@ozh

ozh/push_on_someone_pull_request.md

Last active February 12, 2023 11:00
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save ozh/676ca162da394f8edface1d9b5047cce to your computer and use it in GitHub Desktop.
Save ozh/676ca162da394f8edface1d9b5047cce to your computer and use it in GitHub Desktop.
Download ZIP
push on someone's pull request
Raw
push_on_someone_pull_request.md

Pull request from THEM to my REPO :

$ git checkout -b THEM-patch-1 master
$ git pull https://github.com/THEM/REPO.git patch-1
$ git commit --allow-empty -m "Trigger build"
$ git push https://github.com/THEM/REPO.git THEM-patch-1:patch-1
@ozh
Copy link
Author

ozh commented Feb 12, 2023

Alternatively :

  • git pr 1337 in bash if using git pr
  • commit locally in pr-1337
  • with Tortoise Git :
    image

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment