carlfriedrich f0e9e4f748 Meta: Add GitHub tag action ... The action is executed on every first day of a month. It checks whether the current master is already tagged and, if not, creates a new release tag.		2022-11-23 19:02:01 +01:00
..
scripts	Meta: Add GitHub tag action	2022-11-23 19:02:01 +01:00
workflows	Meta: Add GitHub tag action	2022-11-23 19:02:01 +01: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