The source project of this merge request has been removed.
#2 improved check for updated repository to handle different branch name lengths
Hi.
I found another edge case where branch names of different lengths break the check for changed repository content.
This fix should elimited for good ;)
Eric