You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

David Svantesson 32fb813133 Allow repo admin to merge PR regardless of review status (#9611) ... * Allow repo admin to merge even if review is not ok.		5 years ago
..
gitignore	Delete conflicting file (#9526)	5 years ago
label	Add label descriptions (#3662)	7 years ago
license	chore: update license list (#9436)	5 years ago
locale	Allow repo admin to merge PR regardless of review status (#9611)	5 years ago
readme	Bindata is optional and over-writable on restart (#354)	8 years ago