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.

Sign up for GitHub

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

Jump to bottom

New key for Wim and fix for setting hostnames #64

Merged

erijpkema merged 3 commits into rug-cit-hpc:develop from pneerincx:develop

Feb 28, 2019

Contributor

pneerincx commented Feb 28, 2019

Fix to remove the optionally prefixed jumphost when setting the hostname based on the inventory_hostname.
Added new public key for Wim Nap.

pneerincx added 3 commits

February 28, 2019 16:29


          Fix to remove the optionally prefixed jumphost when setting the hostn…

f1acaf4

…ame based on the inventory_hostname.


          Added new public key for Wim Nap.

e7dbba4


          Merge branch 'develop' of https://github.com/rug-cit-hpc/league-of-ro…

45abb81

…bots into develop

Regular pull from blessed develop.

erijpkema approved these changes

View reviewed changes

erijpkema merged commit 315a94d into rug-cit-hpc:develop

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet