3 Commits

Include renames

Author	SHA1	Message	Date
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 BorgandGitHub	dc0dbed96e	github: Add docs update workflow (#8105)	2022-01-10 14:28:39 +01:00