13 Commits

Author	SHA1	Message	Date
grossmj	5743d47327	Set ident for merge.	2020-10-24 17:04:42 +10:30
grossmj	ca69b01d11	Use origin/3.0 for merge into gh-pages branch.	2020-10-24 17:02:44 +10:30
grossmj	dd785b61cf	Work directly on gh-pages branch to generate the API documentation.	2020-10-24 16:59:55 +10:30
grossmj	0f154e5f29	Fix invalid syntax for git merge	2020-10-24 16:45:53 +10:30
grossmj	f9c4c82da6	Fix merge issues on gh-pages branch, second try.	2020-10-24 16:12:17 +10:30
grossmj	3a136a46a1	Fix merge issues on gh-pages branch	2020-10-24 16:07:48 +10:30
grossmj	a6a35e7c43	Fix publish_api_documentation.yml	2020-10-24 15:42:44 +10:30
grossmj	163a867f00	Only automatically build API documentation for 3.0 branch and v3.* tags	2020-10-24 15:24:32 +10:30
grossmj	d2b7c9bcbf	Do not build API documentation on schedule.	2020-10-24 13:38:32 +10:30
grossmj	fb8df1cc6b	Fetch all history for all tags and branches in publish_api_documentation.yml	2020-10-24 13:13:19 +10:30
grossmj	d063b3e39d	Manual trigger API documentation publishing using workflow_dispatch	2020-10-24 13:08:10 +10:30
grossmj	83fbd1f627	Fix GitHub Actions error: A branch or tag with the name '3' could not be found.	2020-10-24 12:16:05 +10:30
grossmj	1aa6fe8535	Add publish_api_documentation.yml to master branch for scheduled event to work.	2020-10-23 23:03:50 +10:30