git synchronization problem