Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-12-20 | use HEAD in git URIs to point to the default branch | Mike Frysinger | |
This makes the URIs shorter and dynamic: whatever the default branch the repo uses will be used. | |||
2018-06-13 | Add helper to spawn process with stdin connected to a pipe | Mike Gilbert | |