154 Commits

Include renames

Author	SHA1	Message	Date
Jakob Borg	013c757a84	github: Provide Git history when checking out for actions	2022-02-21 14:57:21 +01:00
Jakob Borg	1242ac74ab	github: Make docs commits as release bot	2022-01-12 21:56:21 +01:00
Jakob Borg	4fb7e04686	github: Use specific token to override branch protection	2022-01-10 14:45:47 +01:00
Jakob Borg	dc0dbed96e	github: Add docs update workflow (#8105)	2022-01-10 14:28:39 +01:00