Today I learned how to create co-authored commits on GitHub.
Today I learned that you can add suggestions directly when reviewing pull requests on GitHub.
Tunnel excavation involves lots of boring mathematics.
