Permalink
Branch: master
Commits on Feb 11, 2019
  1. Only set credential helper if available

    jeroen committed Feb 11, 2019
Commits on Feb 9, 2019
  1. Add ORCID

    jeroen committed Feb 9, 2019
  2. Drop cache

    jeroen committed Feb 9, 2019
  3. Rename my_ssh_key to ssh_key_info

    jeroen committed Feb 9, 2019