chore: add a devcontainer setup #50

Merged
Philipp merged 3 commits from add-devcontainer into main 2025-12-27 01:02:37 +01:00
Owner

Add a devcontainer setup and remove a few redundent pre-commit hooks

Add a devcontainer setup and remove a few redundent pre-commit hooks
Philipp added 3 commits 2025-12-27 01:01:57 +01:00
feat: Add devcontainer configuration and setup script for Gemini Agent
All checks were successful
Lint / pre-commit Linting (push) Successful in 1m45s
eb3a74b709
feat: Update devcontainer setup with Dockerfile and improved script for pre-commit hooks
All checks were successful
Lint / pre-commit Linting (push) Successful in 1m37s
4c12baef28
chore: update devcontainer setup and pre-commit configuration
All checks were successful
Lint / pre-commit Linting (push) Successful in 1m25s
8433c79560
Philipp merged commit 65486738c0 into main 2025-12-27 01:02:37 +01:00
Philipp deleted branch add-devcontainer 2025-12-27 01:02:37 +01:00
Sign in to join this conversation.