Gero Posmyk-Leinemann 63aba9a32e [server, protocol] Remove GithubAppConfig.addCheck
We can remove this without prior deprecationg because it has never been part of the externak interface (gitpod-schema.json)
2022-01-07 15:05:01 +01:00
..
2021-10-26 08:16:03 +02:00
2021-10-26 08:16:03 +02:00
2022-01-07 11:07:00 +01:00