Skip to content

Conversation

@KristinaRiemer
Copy link
Contributor

Most recent commits aren't included, e.g., vignette intro. Travis is using the default branch to build the website, which is set in GitHub currently as develop, but we want it to build master. I'm not sure if there's a way to separate these two things, so I'm trying to get Travis to not build develop at all.

Screen Shot 2019-06-11 at 10 59 47 AM

This must be a common workflow, to commit and push to the develop branch but then only build once develop is merged into master. Maybe my Googling is off?

@KristinaRiemer KristinaRiemer requested a review from dlebauer June 11, 2019 18:02
@KristinaRiemer KristinaRiemer merged commit f955fea into terraref:develop Jun 11, 2019
@KristinaRiemer
Copy link
Contributor Author

@dlebauer I think this might have to be merged into master to see if it worked?

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.

1 participant