From f4570ee55d8a84157db6abdd83005b0416ccd6a2 Mon Sep 17 00:00:00 2001
From: Gabriel Augendre <gabriel@augendre.info>
Date: Sat, 25 Mar 2023 09:32:35 +0100
Subject: [PATCH] Create .devcontainer/devcontainer.json

---
 .devcontainer/devcontainer.json | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .devcontainer/devcontainer.json

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
new file mode 100644
index 0000000..a362c93
--- /dev/null
+++ b/.devcontainer/devcontainer.json
@@ -0,0 +1,11 @@
+{
+  "image": "mcr.microsoft.com/devcontainers/universal:2",
+  "features": {
+    "ghcr.io/devcontainers/features/python:1": {
+      "version": "3.11",
+      "installTools": true,
+      "optimize": false
+    }
+  },
+  "postStartCommand": "pip install pip-tools invoke && inv sync-dependencies && pre-commit install --install-hooks"
+}