This repository has been archived on 2023-02-01. You can view files and clone it, but cannot push or open issues or pull requests.

Ing. Jaroslav Šafka 92a43d577d Fix checks in PR for empty commits (#20290) (#20352) ... Backport #20290 * Fix #19603 * fill HeadCommitID in PullRequest * compare real commits ID as check for merging Signed-off-by: Andrew Thornton <art27@cantab.net> Co-authored-by: Andrew Thornton <art27@cantab.net>		2022-07-13 18:36:23 +01:00
..
gitignore	[skip ci] Updated licenses and gitignores	2022-05-22 00:10:22 +00:00
label	Add label descriptions (#3662)	2018-03-13 10:03:55 +08:00
license	[skip ci] Updated licenses and gitignores	2022-05-22 00:10:22 +00:00
locale	Fix checks in PR for empty commits (#20290) (#20352)	2022-07-13 18:36:23 +01:00
readme	Bindata is optional and over-writable on restart (#354)	2016-12-22 19:12:23 +01:00