realizing now my commit message refers to gitignore(7) but it's actually
gitignore(5)...that'll bother me forever now

Stefan Sperling <stsp@stsp.name> wrote:
 
> This looks like a small mistake in Git to me.
> For all intents and purposes, // is the same as / in a path. For edge
> cases like this, I'd rather have Got behave intuitively than replicate
> Git's mistakes.

I thought perhaps what gitignore(5) says would cut against this but on
taking another look I don't think it actually does. At best it's
unspecified.

E