Cole Mickens

### Bug report form - [x] I have done a basic search of the issue tracker to find any existing issues that are similar. - [x] I have checked that...

Steps: 1. Enroll a PAT for colebot. 2. Add that as a secret here. 3. Use that PAT to push instead of the default GITHUB_TOKEN auth. This should make the...

ci: use nix flake check where we can

1

`nix flake check` now skips building and substituting for derivations that are themselves already able to be substituted. This provides a **significant** win on the (now renamed) `check` (vis-a-vis `build`),...

I'd like to propose this, but I work for Determinate Systems, and so I'd like to let anyone dissent who would like to. This is mostly about being able to...

Don't read git config in build.rs

4

**Describe the bug** I find it very inappropriate that psst-core's `build.rs` is... reading the git configuration. We have to patch this in nixpkgs, and I'm glad that we do. It...

> Using your App ID to get installation tokens? You can now [use your Client ID instead](https://docs.github.com/apps/creating-github-apps/authenticating-with-a-github-app/generating-a-json-web-token-jwt-for-a-github-app). Now appears near the top of the config page for my app. And...