diff options
| author | Griffin Smith <grfn@gws.fyi> | 2021-06-05T15·04+0200 |
|---|---|---|
| committer | grfn <grfn@gws.fyi> | 2021-06-05T15·25+0000 |
| commit | 263958e4d390455d5318e8c413cfabfefcde7bbb (patch) | |
| tree | df64a5cc8d47250d7d2122868f59a32d4d050578 /tvix/docs/language-spec.md | |
| parent | 42c3da788177b8f39a092b7b12c5d030e0e54159 (diff) | |
feat(gs/emacs): Switch to org-tracker r/2646
Work is now using JIRA instead of Clubhouse, so I've started writing org-tracker[0] as a pluggable-backend version of org-clubhouse (I'll probably add github issue support as well!). This switches my personal config to use that instead of org-clubhouse, including the checkout-branch-with-ticket-id stuff I had locally. [0]: https://github.com/glittershark/org-tracker Change-Id: I3cf72d6640b155c92ca9ddd1d9d9b5167367951a Reviewed-on: https://cl.tvl.fyi/c/depot/+/3180 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/docs/language-spec.md')
0 files changed, 0 insertions, 0 deletions