Skip to content

RFC for discussing managing profiles#34

Merged
pksunkara merged 1 commit intomasterfrom
smizell/separate-profile-repos
May 5, 2016
Merged

RFC for discussing managing profiles#34
pksunkara merged 1 commit intomasterfrom
smizell/separate-profile-repos

Conversation

@smizell
Copy link
Contributor

@smizell smizell commented Jan 15, 2016

This RFC discusses managing profiles. The current problem is having all of them in the same repository. How should we move forward?

@smizell smizell changed the title Add RFC for discussing managing profiles RFC for discussing managing profiles Jan 15, 2016
@pksunkara pksunkara merged commit 4eb4537 into master May 5, 2016
@pksunkara pksunkara deleted the smizell/separate-profile-repos branch May 5, 2016 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants