Closed ermo closed 3 years ago
git
hub
Merging as we just agreed on IRC. I'll push some further modifications on top of yours next.
git
andhub
invocations less fragile in the face of authentication errors.