Revert "don't rely on push.repository.url existing"

This reverts commit a736f058716f5cb2c03f93739a7ccf014ed87eee.