# BERT DEV

> Documentation for the https://bert133.dev infrastructure

## Documentation

- [About bert133.dev](https://bert133.dev/docs/about.md): What this server is, and the three constraints — pit-network offline operation, iPad-friendly programming, and FRC network compliance — that shaped how it's built.
- [Using Coder](https://bert133.dev/docs/using-coder.md): Log in to Coder, connect it to Forgejo, and open a cloud-based VS Code workspace in Chrome.
- [Your first Git workflow](https://bert133.dev/docs/git-workflow.md): Make a change in VS Code, commit it, push it to Forgejo, and open a pull request — using only the Source Control panel, no command line.