Reverting previous commit

Revert "pull before push"

This reverts commit 8aa40b59ea124ce9c45bd57e217884bd6aeb9775.