Push current tip to remote `develop` branch

touch-develop.sh

For the full content of this gist, refer to https://gist.github.com/jokull/543283f9606f88d1ff46d83062e3526d

jokull
Jökull Sólberg Auðunsson@jokull
Reykjavík, Icelandsolberg.is@jokull