BERT DEV

Documentation for the https://bert133.dev infrastructure

Welcome to bert133.dev

This site is the home base for BERT FRC Team 133's coding infrastructure. Everything you need to write code for the robot — your account, our code repositories, and your development environment — lives behind a single login.

What's here?

You'll be using these tools, all signed in with the same account:

That last one is the big deal: you don't need to install Java, the WPILib, or anything else. Open the browser on your school iPad (or a laptop if you have one), log in, and you're ready to write robot code.

Getting started

If this is your first time, work through these in order:

  1. Using Coder — Log in for the first time, connect your Coder account to Forgejo, and open a workspace.
  2. Your first Git workflow — Make a change, commit it, and push it back to Forgejo using only buttons in VS Code.

Curious how this all works?

See About bert133.dev for what the server is and why it's built the way it is — offline-capable, iPad-friendly, FRC-compliant.

Need help?

Ask a mentor or a returning student. Everyone on the team went through this once — you are not the first person to be confused, and you won't be the last.

Posts

No posts yet.

Documentation

About bert133.dev

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

Log in to Coder, connect it to Forgejo, and open a cloud-based VS Code workspace in Chrome.

Your first Git workflow

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.

Roadmap

No roadmap yet.