Fixes deprecation warning for push

Fixes #5