17 commits

Author	SHA1	Message	Date
Earl Warren	28c365c695	improve the readability of API calls	2023-10-22 17:15:02 +02:00
Earl Warren	89767f29db	git fetch origin, not $destination	2023-10-15 17:29:34 +02:00
Earl Warren	964d21ab1b	the SHA of the head is always needed, even when there is no update	2023-10-14 20:42:03 +02:00
Earl Warren	b207ec6de2	store the tokens in files and never display them	2023-10-14 18:05:40 +02:00
Earl Warren	d1f8e17462	retry what might be asynchronous ... * opening the PR at destination because the branch that was created is not yet known to exist Fixes: https://code.forgejo.org/actions/cascading-pr/issues/1	2023-10-14 16:10:14 +02:00
Earl Warren	b89d03dbb7	update merge	2023-10-13 22:08:16 +02:00
Earl Warren	657e223acc	close cascading PR if the origin PR is closed	2023-10-13 19:43:57 +02:00
Earl Warren	601c93ef62	notes on the development environment	2023-10-13 15:01:47 +02:00
Earl Warren	51fac222bd	install dependencies	2023-10-13 15:01:47 +02:00
Earl Warren	b0c8a634f3	check the status of the cascaded PR	2023-10-12 23:24:11 +02:00
Earl Warren	756e6eacb8	get origin_head from the PR	2023-10-12 23:02:27 +02:00
Earl Warren	a32b74cb81	use the right credentials	2023-10-12 22:37:54 +02:00
Earl Warren	fc026df37e	draft implementation	2023-10-12 21:49:24 +02:00
Earl Warren	ec542726c8	upsert_branch && upsert_pr	2023-10-12 19:13:07 +02:00
Earl Warren	71281446ea	cascading-pr.sh login both repos	2023-10-12 17:08:13 +02:00
Earl Warren	731e463dfd	prefix	2023-10-12 14:57:38 +02:00
Earl Warren	5f8f262472	split out the lib	2023-10-11 18:05:11 +02:00