4 Commits

Include renames

Author	SHA1	Message	Date
Laurent Rineau	ea15e79a89	Improve merge_pr_with_label	2021-10-29 17:06:12 +02:00
Sébastien Loriot	f56cc0dcc9	simply merge script by using gh	2021-10-18 16:11:10 +02:00
Laurent Rineau	c300ef6591	Fix the script when the merge fixes	2020-10-09 16:53:07 +02:00
Laurent Rineau	0f51c426d3	Add a new script that helps dealing with integration	2020-07-01 16:37:32 +02:00