Hey all, The Vagrantfile and setup scripts have moved from `playpen` in the platform repository to the new `devel`[0] repository. I am about to merge the pull request to remove everything from platform[1], so next time you need to `vagrant up` you will need to switch to the `devel` repository.
The documentation has been updated[2] and that pull request should cover everything you need to do to migrate. If you run into any trouble, let me know and I'll be happy to help! [0] https://github.com/pulp/devel [1] https://github.com/pulp/pulp/pull/2642 [2] https://github.com/pulp/pulp/pull/2645/files -- Jeremy Cline XMPP: [email protected] IRC: jcline
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Pulp-list mailing list [email protected] https://www.redhat.com/mailman/listinfo/pulp-list
