Fixes deprecation warning for push

Fixes #5
Merge pull request #6 from leonkunert/master

Fixes deprecation warning for push