Vadim Zeitlin fe944dec68 Only deploy the documentation from master ... Don't do it for pull requests. This check also seems to render the check for the repository owner unnecessary, so drop it instead of keeping both.		2022-03-28 11:16:53 +02:00
..
ISSUE_TEMPLATE	Ask whether X11 or Wayland is used in the bug report template	2022-02-19 22:36:50 +01:00
workflows	Only deploy the documentation from master	2022-03-28 11:16:53 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00