Albert ARIBAUD a51cb3d4cb Make PR merge options more intuitive (#5863) (#16582) ... Reword options making clear whether the PRed branch is rebased or not, and which type of commit will be created if any.		2021-08-02 20:23:57 +01:00
..
gitignore	[skip ci] Updated licenses and gitignores	2021-06-13 00:11:23 +00:00
label	Add label descriptions (#3662)	2018-03-13 10:03:55 +08:00
license	[skip ci] Updated licenses and gitignores	2021-07-25 00:07:38 +00:00
locale	Make PR merge options more intuitive (#5863) (#16582)	2021-08-02 20:23:57 +01:00
readme	Bindata is optional and over-writable on restart (#354)	2016-12-22 19:12:23 +01:00