1// Copyright (c) 2022 Gitpod GmbH. All rights reserved. 2// Licensed under the GNU Affero General Public License (AGPL). 3// See License-AGPL.txt in the project root for license information. 4 5
