Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • 75389691-a67c-422a-91e9-aa58bfb5-main-patch-32205
  • test-pipe
  • extended-scripts
  • structured-badges
  • guix-pipeline
  • cabal-pipeline
7 results

Worker.hs

  • stuebinm's avatar
    8272b6f1
    server: remove cli-git, cli-extras · 8272b6f1
    stuebinm authored
    both these packages are hard to use, seem to be either unfinished or
    abandoned, and also generally not very good.
    
    Also for some reason they depend on `lens`. Removing them dramatically
    shrunk the dependency closure!
    8272b6f1
    History
    server: remove cli-git, cli-extras
    stuebinm authored
    both these packages are hard to use, seem to be either unfinished or
    abandoned, and also generally not very good.
    
    Also for some reason they depend on `lens`. Removing them dramatically
    shrunk the dependency closure!