Skip to content

Update generated documentation for contributing page#97

Closed
eugbaranov wants to merge 1 commit intofslaborg:gh-pagesfrom
eugbaranov:master
Closed

Update generated documentation for contributing page#97
eugbaranov wants to merge 1 commit intofslaborg:gh-pagesfrom
eugbaranov:master

Conversation

@eugbaranov
Copy link
Copy Markdown
Contributor

No description provided.

@simra
Copy link
Copy Markdown
Contributor

simra commented Oct 29, 2015

Checking: this PR is into gh-pages, rather than master. It seems to be a distinct PR from #98 but I get the impression it's not necessary because the gh-pages branch is auto-generated. I'll wait for @tpetricek or @dsyme to weigh in.

@eugbaranov
Copy link
Copy Markdown
Contributor Author

I can see that @dsyme updated gh-pages recently but apparently he did it before you approved #98 since those are not on the site yet.

@simra
Copy link
Copy Markdown
Contributor

simra commented Oct 29, 2015

Thanks- I had the impression from @tpetricek that the gh-pages branch is auto-generated and no action is necessary. I'm not sure what triggers the merge, so I'll dig deeper this evening.

@eugbaranov
Copy link
Copy Markdown
Contributor Author

I think although it is auto-generated it is not auto-commiting. :)

@tpetricek
Copy link
Copy Markdown
Member

The gh-pages is updated when we release a new version of the library (which is done by running build Release locally). So we do not need to merge this PR, just run the release script again (which I'll do).

@tpetricek tpetricek closed this Oct 29, 2015
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.

3 participants