Change the repository type filter
All
Repositories list
2 repositories
merge-upstream
Public⤵️ Merge in changes from upstream. Useful for syncing upstream changes to fork.undo-push
Public↪️ Undo a git push by removing the commit and going back to the commit before it.