Paul Price
Paul Price
The second part of issue #62. Filing separate pull request so Travis can process and bless the patch.
The GitExporter would (sometimes?) not push new tags when specified by itself on the command-line (e.g., "git push origin newTag"). This ensures that new tags get processed (and therefore written).
A strange error is appended to the usual clone output. No further information is available using `DEBUG_GITIFYHG`. Might it be related to reopening stdout unbuffered? ``` pprice@tiger3:~/hsc $ git clone...
I used a signed tag from force of habit, and it didn't work. ``` $ git tag foo -asm "Tag message here" You need a passphrase to unlock the secret...
My ssh server is behind a firewall, so connections require a proxy. Using OpenSSH, this is possible with a `~/.ssh/config` setup like this: ``` Host server.com ProxyCommand ssh -q -W...
There is a configuration option to specify an agent (thanks!), but it appears to require a hardcoded path to the socket, which may change after restarting the agent. However, the...
Mineo-san noticed that in the recent HSC release candidate (hscPipe 3.8.0), python was a dependency of gcc. This is because both gcc and python are dependencies of the "toolchain" product,...