Let's push automatically after a merge from slim remote

Change-Id: I1f2df2d4a59545881e54376a56c7d08d9c354516