Closed nathanathan closed 9 years ago
The original PR to dev is here: https://github.com/ecohealthalliance/grits-deploy-ansible/pull/18
We don't need the girder plug-in anymore, but I think this is worth merging for the added documentation.
The original PR to dev is here: https://github.com/ecohealthalliance/grits-deploy-ansible/pull/18
We don't need the girder plug-in anymore, but I think this is worth merging for the added documentation.