projects
/
maintainer-tools.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
github-merge-pr: doc: Install extra git-filter-repo
2024-07-16
Hauke Mehrtens
github-merge-pr: doc: Install extra git-filter-repo
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2024-07-16
Hauke Mehrtens
github-merge-pr: Add option to ignore .mergeable
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2024-07-16
Hauke Mehrtens
github-merge-pr: Add option for no remote operations
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2024-07-16
Hauke Mehrtens
github-merge-pr: Use GITHUB_TOKEN for API access
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2022-04-23
Hauke Mehrtens
maketag.sh/makebranch.sh: Add https to https://downloads...
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2022-04-20
Hauke Mehrtens
maketag.sh/makebranch.sh: Support src-git-full in feed
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2021-04-19
Hauke Mehrtens
maketag.sh/makebranch.sh: handle https download URLs
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree
2018-07-15
Hauke Mehrtens
Fix detection of lede branch.
Signed-off-by:
Hauke Mehrtens
<hauke@hauke-m.de>
commit
|
commitdiff
|
tree