Open jakirkham opened 1 week ago
JFYI have enabled automerging on this repo so that we can ask GitHub to merge PRs after CI completes. This is a minor convenience, but it is helpful to keep things moving
JFYI have enabled automerging on this repo so that we can ask GitHub to merge PRs after CI completes. This is a minor convenience, but it is helpful to keep things moving