Projects

Projects define applications to deploy with their GitHub repository, environments, variables, and domains.

Project settings

  • Project name: a unique name that will be used in the deployment URLs.
  • Avatar: Image used in the navigation.
  • Git repository: The GitHub repository to deploy.
  • Environments: A list of environments associated with GitHub branches.
  • Environment variables: A list of environment variables scoped by environment.
  • Domains: Custom domain associated with environments.

Environments

The production environment can not be renamed or deleted.

Each environment has a "Name", used for display, and an "Identifier" used in the deployment URLs (e.g. flask-acme-env-staging.devpush.app).

An environment can be associated with a single branch (e.g. staging) or use the wildcard operator to define a range of branches (e.g. staging-*).

Environment variables

Environment variables can be added individually or by pasting the content of an .env file.

Each environment variable can be associated with a specific environment or all environments. These values can override each other. For example, if I have:

  • LOG_LEVEL set to INFO for "All environments"
  • LOG_LEVEL set to ERROR for the "Staging" environment.

Then in the "Production" environment, the value will be INFO, but for "Staging" it will be ERROR.

Registry catalog

The registry catalog controls which runners and presets are available when creating or editing a project.

Admins can update the catalog and manage overrides in Admin → Registry.

Registry catalog

Domains

Domains can be:

  • A route, which will require a ANAME, ALIAS or A record to be added to your DNS.
  • A redirect (301, 302, 307 or 308) which will require a CNAME record.

Storage

Storage can be connected to a project and scoped to specific environments.

Storage

Logs

Logs are collected in real-time, but a slight delay (a few hundred milliseconds) might be noticeable. Logs can be searched by keyword and filtered by deployment, environment, date, or branch.

Deleting a project

When deleting a project, all settings and deployments will be deleted. The deletion process is not immediate and may take some time depending on the number of deployments.