allow to customize the push-server for testing #80
Reference in New Issue
Block a user
Delete Branch "set-push-server"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Note that this switches the settings for the push-server, which work is happening in this PR so I'll wait until that's merged (or maybe I'll add it directly in there).