Debug Documenter source links

Author: goerz

.github/workflows/CI.yml

@@ -66,7 +66,16 @@ jobs:
       - run: |
           # Instantiate Pkg
           wget https://raw.githubusercontent.com/JuliaQuantumControl/JuliaQuantumControl/master/scripts/installorg.jl
-          julia --project=test installorg.jl
+          install -m 600 -D /dev/null ~/.ssh/known_hosts
+          ssh-keyscan -H github.com | tee ~/.ssh/known_hosts
+          julia --project=test -e 'include("installorg.jl"); installorg(; github="develop")'
+          # installing in develop mode enables proper "source" links in subpackage APIs
+      - run: |
+          # Debug-install Documenter
+          julia --project=test -e'using Pkg;Pkg.develop(url="https://github.com/goerz-forks/Documenter.jl.git#debug")'
+          cd /home/runner/.julia/dev/Documenter
+          git checkout debug
+          git status
       - run: cp test/*.toml docs/  # Prepare DrWatson
       - run: |
           # Run doctests