Pulls
+ New PR prompt| title | # | state | head→base | created |
|---|---|---|---|---|
| fix-install-place | 5 | closed | fix-install-placemain | |
| dog-pr: fix #1 install + #3 merge SEC-08 | 4 | merged | dog-prmain | |
| dogfood t1 | 3 | merged | dogfood-t1main | |
| dogfood t2 | 2 | closed | dogfood-t2main | |
| dog-boot: bootstrap (#2) | 1 | closed | dog-bootmain |
5 closed