-
Notifications
You must be signed in to change notification settings - Fork 1.7k
Pull requests: git-tips/tips
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update "Delete remote tag" to match delete remote branch
#218
opened Oct 17, 2023 by
hyperupcall
Loading…
Fix delete local branches that have been squshed & merged in the remote
#202
opened Nov 1, 2021 by
mfrw
Loading…
Bash completion: change short redirected url for full url
#154
opened Nov 23, 2017 by
xverges
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.