diff options
author | sterni <sternenseemann@systemli.org> | 2022-09-28T08·22+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-28T08·36+0000 |
commit | b29ef90636cfe0ce21aaa95301105079f4709fed (patch) | |
tree | 303723f0e1eb8736d9c48b33fcf10554c5139884 /users/grfn/xanthous/src/Xanthous/App/Prompt.hs | |
parent | 0c178a0ef61d2f5f4d6169c7a951663c62509cd7 (diff) |
chore(3p/overlays/tvl): point nix src to rev belonging to the branch r/4981
Previously, we just fetched from the pull request branch which we should clean up. Change-Id: I53db11066056ca6c6ef5c2da68d9833372ae5dfe Reviewed-on: https://cl.tvl.fyi/c/depot/+/6793 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn/xanthous/src/Xanthous/App/Prompt.hs')
0 files changed, 0 insertions, 0 deletions