edgedb / edgedb-pkg

EdgeDB Release Packaging Toolkit
1 stars 2 forks source link

Switch genrepo to AWS #31

Closed ambv closed 3 years ago

ambv commented 3 years ago

Also moved the incron processor to a single Python 3 file.

Also changed the SSH ports in the integration scripts since I mistakenly set them up differently on AWS compared to the old ones on GC.