Ing. Jaroslav Šafka 8420c1bf4c Fix checks in PR for empty commits #19603 (#20290) ... * Fixes issue #19603 (Not able to merge commit in PR when branches content is same, but different commit id) * fill HeadCommitID in PullRequest * compare real commits ID as check for merging * based on @zeripath patch in #19738		2022-07-13 16:22:51 +08:00
..
gitignore
label
license
locale	Fix checks in PR for empty commits #19603 (#20290)	2022-07-13 16:22:51 +08:00
readme