Tim Ruffing
0a99156871
sync-upstream.sh: Add "git show --remerge-diff" tip
2023-07-18 15:05:27 +02:00
Tim Ruffing
9b6a1c384d
sync-upstream.sh: Fix position of "-b" option in reproduce command
2023-07-17 18:44:33 +02:00
Jonas Nick
05b207e969
sync-upstream: allows providing the local branch via cli
2023-07-17 13:29:59 +00:00
Tim Ruffing
13c438cdee
sync-upstream: Use --autostash to handle uncommitted changes
...
This makes it possible to use sync-upstream with uncommitted changes. (This
is in particular helpful when working on the script itself.)
Without this commit, git pull will fail due to the uncommitted changes.
2023-04-11 12:25:51 +02:00
Tim Ruffing
e04c660b11
sync-upstream: Fix $REPRODUCE_COMMAND for "select"
2023-01-20 17:09:18 +01:00
Andrew Poelstra
b9ebee1490
fix a couple things to make Elements 22's linter happy
2021-10-14 21:21:30 +00:00
Jonas Nick
95ee1fa030
sync-upstream: fix quoting
...
Otherwise strings in $TITLE and $BODAY that are enclosed in ` are executed in
gh-pr-create.sh.
2021-09-15 20:29:33 +00:00
Tim Ruffing
907633e2e9
sync-upstream: fix "end" parameter for specifying range
2021-07-12 18:24:04 +02:00
Tim Ruffing
394f49fd1a
sync-upstream: quote variables
2021-07-12 18:23:18 +02:00
Tim Ruffing
9321d42f75
sync-upstream: parse merge commits w/ and w/o repo identifier
2021-07-12 15:21:38 +02:00
Tim Ruffing
136ed8f84d
sync-upstream: Fix output of command to reproduce
2021-03-10 16:13:17 +01:00
Tim Ruffing
38f1e777d4
sync-upstream: Create proper links to upstream PRs
2021-03-10 15:53:54 +01:00
Jonas Nick
7eeacd7725
Add contrib/sync-upstream.sh script to automate merging upstream PRs
2021-01-14 15:17:18 +00:00