removing hotpatch part from /gitpull

will add back as soon as we figure out how to do timers