MattHag 48ff85ab94 Publish GitHub pages only on push to master ... Avoid draft documentation from being published.		2024-08-23 18:44:14 -04:00
..
ISSUE_TEMPLATE	doc: install recent version before opening issues	2023-08-03 06:45:37 -04:00
workflows	Publish GitHub pages only on push to master	2024-08-23 18:44:14 -04:00