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

git-instaweb: add page #4017

Merged
merged 2 commits into from
May 10, 2020
Merged

git-instaweb: add page #4017

merged 2 commits into from
May 10, 2020

Conversation

sbrl
Copy link
Member

@sbrl sbrl commented May 4, 2020

I use Gitea personally, but I can see how this would be useful (though a lack of Nginx support is painful).

For #3953, part 2 / 4 for this batch

@sbrl sbrl added the new command Issues requesting creation of a new page or PRs adding a new page for a command. label May 4, 2020
@tldr-bot
Copy link

tldr-bot commented May 4, 2020

The build for this PR failed with the following error(s):

pages/common/git-instaweb.md:3: TLDR004 Command descriptions should end in a period

Please fix the error(s) and push again.

Copy link
Member

@owenvoke owenvoke left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice! That's something I didn't know about (I use Gitea too internally, so probably won't use it either). 👍 LGTM.

@zlatanvasovic zlatanvasovic merged commit ac75e5f into master May 10, 2020
@zlatanvasovic zlatanvasovic deleted the page/git-instaweb branch May 10, 2020 12:41
sbrl added a commit that referenced this pull request May 21, 2020
Keating950 pushed a commit to Keating950/tldr that referenced this pull request May 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
new command Issues requesting creation of a new page or PRs adding a new page for a command.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants