Currently, we name repository directories and log files user#repo. The idea is that, since # doesn't appear in any GitHub usernames or repository names, we can use it unambiguously as a separator.
But having a # in the repository name is causing some weird problems. In particular, it looks like npm just gives up sometimes when that's in the path. Maybe we can find a separator that also can't appear in GitHub names but is less annoying when it shows up in filenames.
Currently, we name repository directories and log files
user#repo. The idea is that, since#doesn't appear in any GitHub usernames or repository names, we can use it unambiguously as a separator.But having a
#in the repository name is causing some weird problems. In particular, it looks like npm just gives up sometimes when that's in the path. Maybe we can find a separator that also can't appear in GitHub names but is less annoying when it shows up in filenames.