the remote is immediately updated (different head commit SHA)
sync tries to push and fails as it gets rejected.
By pulling again we should be in a position to push again.
This is by no means a comprehensive in that it is possible to reach a state whereby when pulling on retry fails due to a need to merge. This will raise an exception and would require manual intervention.
This PR adds a simple retry mechanism to fix #19.
Use case:
By pulling again we should be in a position to push again.
This is by no means a comprehensive in that it is possible to reach a state whereby when pulling on retry fails due to a need to merge. This will raise an exception and would require manual intervention.