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

Update production #836

Merged
merged 24 commits into from
Apr 26, 2020
Merged

Update production #836

merged 24 commits into from
Apr 26, 2020

Conversation

Robinlovelace
Copy link
Member

@nikolai-b
Copy link
Contributor

@Robinlovelace I suggest we merge it now. Small incremental releases are easier to debug. That said the other changes you are suggesting are also small so in this case it doesn't matter as much. Still I'd advocate we release early, release often, it is more agile.

@Robinlovelace
Copy link
Member Author

Sounds good @nikolai-b, some of those are small and almost done - just pushed to #835 so will see if we can get these multiple small changes in by the end of the week to minimise pushes to master, although definitely agree with the principle of lots of small incremental changes being better than deploying everything in one go. All minor, little urgency, low risk so go well as one I think.

@github-pages github-pages bot temporarily deployed to github-pages April 6, 2020 20:58 Inactive
@Robinlovelace
Copy link
Member Author

The changes listed above are still worth doing. I'll open a separate issue on that.

Summary of changes:

  • Addition of the PCT Essentials document.
  • Updated links in the Manual tab

The PDF may well change soon but merging now on the basis of an Essentials document link is infinitely better than none. Sorry it's taken so long to merge, was hoping to get other changes in there.

Discussed with @nikolai-b just now.

@Robinlovelace Robinlovelace merged commit 1bbcf24 into production Apr 26, 2020
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