Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Using org-level DOCUMENTER_KEY #410

Open
timholy opened this issue Apr 4, 2022 · 0 comments
Open

Using org-level DOCUMENTER_KEY #410

timholy opened this issue Apr 4, 2022 · 0 comments

Comments

@timholy
Copy link
Member

timholy commented Apr 4, 2022

In my lab's organization, we have several packages that lack their own documenter documentation, and so don't have a public/private key/secret pair for documenter. However, we do have an organization-level DOCUMENTER_KEY. One example of such a package is https://github.com/HolyLab/ExtractPSF.jl. I have CompatHelper set up but it fails. Here's the relevant section of the log:

Run import CompatHelper
  import CompatHelper
  CompatHelper.main()
  shell: /usr/bin/julia --color=yes {0}
  env:
    GITHUB_TOKEN: ***
    COMPATHELPER_PRIV: ***
Cloning into '/tmp/jl_Zl4CYh/REPO'...
Already on 'master'
Your branch is up to date with 'origin/master'.
Cloning into '/tmp/jl_b88E8j/General'...
[ Info: EnvVar `COMPATHELPER_PRIV` is defined, nonempty, and not `false`
[ Info: This doesn't look like a raw SSH private key. I will assume that it is a Base64-encoded SSH private key. I will now try to Base64-decode it.
[ Info: This was a Base64-encoded SSH private key. I Base64-decoded it, and now I have the raw SSH private key.
Cloning into 'REPO'...
Warning: Permanently added the RSA host key for IP address '140.82.112.4' to the list of known hosts.
git@github.com: Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.

and so on.

I'm wondering if there's an easy way around this, short of setting up keys for each individual repository? (There are ~20 such repos, so it would be nice to solve this at the organization level.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant