Ing. Jaroslav Šafka 8420c1bf4c
Fix checks in PR for empty commits ()
* Fixes issue  (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 
2022-07-13 16:22:51 +08:00
..
2022-07-12 23:32:37 +02:00
2022-06-26 22:19:22 +08:00
2022-06-27 15:58:46 -05:00