5 Commits

Author	SHA1	Message	Date
Michał Wawrzyniec Urbańczyk	bbf7d1d307	Ready to merge no longer implies keeping up to date. (#6305)	2023-04-17 14:08:13 +02:00
Michał Wawrzyniec Urbańczyk	b9e6510a12	New CI labels. (#3736) ... This PR adds two new labels to interact with CI systems: * `CI: Keep up to date` tells mergify bot to auto-update the PR against develop but do not merge it. * `CI: No changelog needed` is meant to replace old `[ci no changelog needed]` * `CI: Clean build required` marks PR as being incompatible with main development branch and will ensure that runners are cleaned before and after running jobs related to this PR. Note that currently only first label is supported, others will follow with the build script update. However they need to be merged before, so I am able to develop and test them.	2022-09-23 23:05:27 +02:00
Michał W. Urbańczyk	964645fddf	[Prettier] Fixed whitespace the in Mergify configuration	2022-02-21 12:06:44 +01:00
Mateusz Czapliński	2bb88e05f0	Include PR's "Important Notes" in Mergify commits (#3288) ... Co-authored-by: Michał Wawrzyniec Urbańczyk <mwu-tow@gazeta.pl>	2022-02-21 12:01:47 +01:00
Michał Wawrzyniec Urbańczyk	f70176a25b	Introduce Mergify tool and a label to enable it per PR. (#3284)	2022-02-17 16:33:27 +01:00