Skip to content
This repository has been archived by the owner on Apr 4, 2024. It is now read-only.

Add gitpod.io config files #758

Merged
merged 10 commits into from
Sep 30, 2019
Merged

Add gitpod.io config files #758

merged 10 commits into from
Sep 30, 2019

Commits on Sep 24, 2019

  1. Add gitpod.io config files

    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    8be3b5c View commit details
    Browse the repository at this point in the history
  2. Use alternative erlang solutions index

    since something's broken on their other mirror
    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    d30db36 View commit details
    Browse the repository at this point in the history
  3. Avoid non-existent ubuntu postgres packages

    We don't need them anyway. The gitpod based image provides them.
    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    000b0e9 View commit details
    Browse the repository at this point in the history
  4. Fix database url

    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    768b02e View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    47a6692 View commit details
    Browse the repository at this point in the history
  6. Add preview port

    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    14b10d5 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    23ef0c3 View commit details
    Browse the repository at this point in the history
  8. Use repl for the gitpod command

    It actually makes more sense, since the running command takes over a
    terminal panel. We might as well use it.
    notriddle committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    08c0a48 View commit details
    Browse the repository at this point in the history
  9. Configuration menu
    Copy the full SHA
    1e2e444 View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2019

  1. Configuration menu
    Copy the full SHA
    0c14cad View commit details
    Browse the repository at this point in the history