search

molybdenumsoftware / pr-tracker

A system for finding out which branches a GitHub pull request landed in
4 stars 0 forks source link

document fetcher #113

Closed ModProg closed 3 months ago

jfly commented 4 months ago

In particular, we should document any assumptions we make. For example, we assume that the branches we track are append-only (their history never changes).