Make github mount slightly less confusing (#39)