adds remote server side restart on push from local#19

bardicreels wants to merge 2 commits intobreck7:mainbreck7/ScrollHub:mainfrom

bardicreels:dev_server-1bardicreels/ScrollHub:dev_server-1Copy head branch name to clipboard