Only push to bytecode repository if there is something to push.#2513

chriseth merged 1 commit intoreleaseargotorg/solidity:releasefrom

onlyPushIfSomethingToPushargotorg/solidity:onlyPushIfSomethingToPushCopy head branch name to clipboard