projects
/
tools.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
pick-to-branch: improve user guidance and streamline interaction
2021-11-26
Tomas Mraz
pick-to-branch: Allow cherry-picking multiple commits...
commit
|
commitdiff
|
tree
2021-11-05
Tomas Mraz
pick-to-branch: fix inferring the id from master branch
commit
|
commitdiff
|
tree
2021-09-02
Tomas Mraz
Remove run-checker completely as it is not used anymore
commit
|
commitdiff
|
tree
2021-04-29
Tomas Mraz
ghmerge: Rebase PR on top of master
commit
|
commitdiff
|
tree
2021-01-07
Tomas Mraz
addrev: Silence the git filter-branch warning message
commit
|
commitdiff
|
tree
2020-12-17
Tomas Mraz
ghmerge: Pass --tools and --web to addrev
commit
|
commitdiff
|
tree
2020-11-18
Tomas Mraz
Fix regression from latest addrev change
commit
|
commitdiff
|
tree