Closed samoht closed 8 years ago
This is a quick patch to make tokpg publish doc work a bit better.
To be precise this is to make the toy-github-topkg-delegate
work better, could you please make that precise in the commit msg.
I pushed https://github.com/dbuenzli/topkg/commit/93de7229c089e46ecce68024699adee7211e5d41 to get better error messages.
I've added more commits. The logic for loading the branch for a remote repo changed a bit, not sure if that impact anything else but everything seems to still compile fine...
Hum, this is still broken.
Thanks Thomas for improving these tedious tidbits. Your patches are in and massaged by 1b512f06fdcc902faa2e743facafe5
This is a quick patch to make
tokpg publish doc
work a bit better. This doesn't work yet but feedback is welcome :-)