Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Merge "user-domain" feature branch into develop. #7099
Conversation
rogpeppe
and others
added some commits
Jan 24, 2017
|
$$merge$$ |
|
Status: merge request accepted. Url: http://juju-ci.vapour.ws:8080/job/github-merge-juju |
jujubot
merged commit e00baf3
into
juju:develop
Mar 15, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
rogpeppe commentedMar 15, 2017
This adds the capability to specify a required user
domain for users, and alters the juju login command
so that it knows about public controllers.