manual workflow for updating docker hub (fixes 18) #25

Closed dyeh123 closed 3 years ago