[user.git] changed: git push push policy as simple