Tim 4b251aab22 Meta: GitHub tag action: add commit key (#248) ... The COMMIT_KEY secret contains a private SSH key. The associated public key has been added as a deploy key in the GitHub project. See: https://docs.github.com/en/developers/overview/managing-deploy-keys#deploy-keys This is necessary to make commits done by github-actions able to trigger further github-actions. See: https://stackoverflow.com/q/60418323/3018229.		2022-12-06 11:14:32 +08:00
..
scripts	Meta: GitHub tag action: add git log to output for debugging purposes	2022-11-24 15:00:59 +01:00
workflows	Meta: GitHub tag action: add commit key (#248)	2022-12-06 11:14:32 +08:00
issue_template.md	chore: 🤖 Update issue template & pr template. #59	2019-11-23 12:03:21 +08:00
pull_request_template.md	fix typo in comments and README files (#230)	2022-08-09 19:07:59 -07:00
stale.yml	ci: update stale config	2022-11-15 15:46:34 +08:00