Commit Graph

52 Commits

Author SHA1 Message Date
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