Vadim Zeitlin f26d25fcb6 Suppress ssh messages about adding known host in docs workflow ... This is useless and contains the host IP and port which we don't want want to show.		2022-03-28 11:33:25 +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	Suppress ssh messages about adding known host in docs workflow	2022-03-28 11:33:25 +02:00
CONTRIBUTING.md	Revert "Explain that GitHub PRs are temporarily disabled"	2022-01-12 23:42:18 +01:00