4 commits

Author	SHA1	Message	Date
Caesar Schinas	db41d2411f	CI: use slashes in backport branch names and labels	2023-08-18 23:44:21 +01:00
Loïc Dachary	db05f79562	CI: do nothing instead of failing if trying to backport a PR	2023-08-18 20:51:01 +00:00
Earl Warren	3de0164331	CI: use WEBSITETOKEN ... because using GITHUB_TOKEN has the undesirable side effect of blocking the workflows when creating a branch and a PR from it	2023-08-18 14:50:44 +02:00
Earl Warren	2fd1640125	CI: add backport workflow ... Refs: https://codeberg.org/forgejo/docs/issues/18	2023-08-18 14:12:49 +02:00