diff options
author | Profpatsch <mail@profpatsch.de> | 2019-03-25 13:50:16 +0100 |
---|---|---|
committer | Profpatsch <mail@profpatsch.de> | 2019-03-25 13:53:46 +0100 |
commit | 419be355e2c200f940e02aba1a5f503974399bec (patch) | |
tree | 58b7ed864cd16d85e72a5426a577be66186d2788 /pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall | |
parent | 2217ba46e3e93d049c5e6aadf3b1c0090e8c7725 (diff) |
pkgs.profpatsch: add git-commit-index tools
A set of utilities to generate and query a git commit index, which is a database that knows which revs (that is: commits) are in which git repository. That way we can query for the project that contains a commit and show them, e.g. with xdg-open.
Diffstat (limited to 'pkgs/profpatsch/s6/dhall/ServiceDirectory/default-type.dhall')
0 files changed, 0 insertions, 0 deletions