Simple workaround for the gitrepo hook encountering a locked profile.
This can happen if two commits to the repo happen very quickly. Spin for a little bit before giving up. Not a great solution, needs more thought when I have time.
Showing with 21 additions and 1 deletion