Closed csomh closed 3 years ago
In case the head commit of a dist-git branch found after cloning the dist-git repo, does not match the commit referenced in the event which started the update process, abandon the update and register the event in monitoring.
Signed-off-by: Hunor Csomortáni csomh@redhat.com
Build succeeded.
Build succeeded (gate pipeline).
In case the head commit of a dist-git branch found after cloning the dist-git repo, does not match the commit referenced in the event which started the update process, abandon the update and register the event in monitoring.
Signed-off-by: Hunor Csomortáni csomh@redhat.com