.gitpod.yml

# Copyright (c) Tudor Oancea, EPFL Racing Team, 2022

tasks:
  - name: Install dependencies
    init: bash scripts/setup_workspace.sh

github:
  prebuilds:
    # enable for the master/default branch (defaults to true)
    master: true
    # enable for all branches in this repo (defaults to false)
    branches: true
    # enable for pull requests coming from this repo (defaults to true)
    pullRequests: false
    # enable for pull requests coming from forks (defaults to false)
    pullRequestsFromForks: false
    # add a check to pull requests (defaults to true)
    addCheck: false
    # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
    addComment: false
    # add a "Review in Gitpod" button to the pull request's description (defaults to false)
    addBadge: false
    # add a label once the prebuild is ready to pull requests (defaults to false)
    addLabel: false

vscode:
  extensions:
    - "mhutchie.git-graph"
    - "ms-python.python"
    - "Gruntfuggly.todo-tree"
    - "eamodio.gitlens"
    - "donjayamanne.python-environment-manager"