fix branch push behaviour
dirty highlighting hack