Merge branch 'main' into gitpod-main

update gitpod conf to main branch?
2025-12-08 17:30:01 +01:00 · 2020-07-05 18:02:44 -04:00 · 2020-07-05 17:49:32 -04:00
1 changed files with 2 additions and 2 deletions
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -7,11 +7,11 @@ ports:

 github:
  prebuilds:
-    master: true
+    main: true
    branches: true
    pullRequests: true
    pullRequestsFromForks: true
    addCheck: true
    addComment: true
    addBadge: false
-    addLabel: false
+    addLabel: false
Author	SHA1	Message	Date
Jeffrey Warren	a2bea560d1	Merge branch 'main' into gitpod-main	2020-07-05 18:02:44 -04:00
Jeffrey Warren	c4f35ee283	update gitpod conf to main branch?	2020-07-05 17:49:32 -04:00