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

lib

  • Clone with SSH
  • Clone with HTTPS
  • stuebinm's avatar
    stuebinm authored
    this just checks for maps from which it's impossible to reach
    `main.json`, and then gives a warning. Properly it should check if these
    maps have an exit to outside the repository (in which case it may give a
    suggestion, and an error otherwise).
    
    Also, redid some of the CheckDir code. No idea what that mess was, but
    it's marginally nicer now.
    1c90b431
    History