Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prepend 'git-' to man pages #100

Merged
merged 2 commits into from May 11, 2012
Merged

Conversation

koraktor
Copy link
Contributor

Only applies, when no command with the given name can be found, so it won't hurt for gitk or any other command not starting with git-.

This allows for shorter URLs like /docs/commit.

@schacon
Copy link
Member

schacon commented May 11, 2012

interesting. i'm not sure i want to have people linking to these though. :( maybe a redirect on match would be better?

@schacon
Copy link
Member

schacon commented May 11, 2012

yeah, i would like to redirect them - if you update the PR I'll merge it

@schacon schacon closed this May 11, 2012
schacon and others added 2 commits May 11, 2012 13:34
This allows for shorter URLs like /docs/commit that will redirect to the
correct ones.
@koraktor
Copy link
Contributor Author

I updated my branch, but it seems that the PR isn't updated because you already closed it.
Just ping me if I should create a new one.

@schacon schacon reopened this May 11, 2012
schacon added a commit that referenced this pull request May 11, 2012
@schacon schacon merged commit 8999cd8 into git:master May 11, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants