4 Commits

Author	SHA1	Message	Date
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