7 commits

Author	SHA1	Message	Date
Felix Fontein	1ab2a5f1bc	Add default license header to files which have no copyright or license header yet (#5074) ... * Add default license header to files which have no copyright or license header yet. * yml extension should have been xml...	2022-08-05 14:03:38 +02:00
Felix Fontein	8017cec8f6	Render docs diff with devel instead of stable-2.13.	2022-06-22 22:07:32 +02:00
Felix Fontein	343d04a7a6	Update list of labels.	2022-06-22 13:05:59 +02:00
Felix Fontein	3b8c58a301	Add PR docs workflow. (#4878)	2022-06-22 13:00:05 +02:00
Felix Fontein	d4076a1e0d	Forgot 'runs-on'.	2022-06-22 12:54:05 +02:00
Felix Fontein	de62516b32	Fix workflow.	2022-06-22 12:52:24 +02:00
Felix Fontein	cc9393cecd	Add empty PR docs workflow. (#4879)	2022-06-22 12:49:39 +02:00