Add support for push endpoints to registry server#977

wjordan wants to merge 5 commits intospegel-org:mainspegel-org/spegel:mainfrom

wjordan:push-mirrorwjordan/spegel:push-mirrorCopy head branch name to clipboard