Merge pull request #7588 from thess/cci-mods
authorTed Hess <redacted>
Thu, 6 Dec 2018 22:17:38 +0000 (17:17 -0500)
committerGitHub <redacted>
Thu, 6 Dec 2018 22:17:38 +0000 (17:17 -0500)
CircleCI: Do not run build as root. Move to public docker repo.


Trivial merge
git clone https://git.99rst.org/PROJECT