allow to customize the push-server for testing #80
Merged
trentlarson
merged 6 commits from set-push-server
into master
12 months ago
Loading…
Reference in new issue
There is no content yet.
Delete Branch 'set-push-server'
Deleting a branch is permanent. It CANNOT be undone. 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).
feea1a1d3b
into master 12 months agoReviewers
feea1a1d3b
.