Micro/docs auto rebuild website branches
David Dickinson
Branch: micro/docs_auto_rebuild_website_branches
Branch: next
Merged
Merged pull request
Merged in micro/docs_auto_rebuild_website_branches (pull request #302)
Merged in micro/docs_auto_rebuild_website_branches (pull request #302)
Change detection of branch name
Temporarily add this branch to list of branches for which documentation auto-built
Revert "Temporarily add this branch to list of branches for which documentation auto-built"
This reverts commit c4d8628391f91ab572b522671d8d3b41c6bdf232.
Only introduced for testing which is now complete.
Small fix for PR #301 to ensure website is rebuilt when branch is next or master