Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

repositories: Add chaoslab overlay #132

Closed
wants to merge 1 commit into from
Closed

repositories: Add chaoslab overlay #132

wants to merge 1 commit into from

Conversation

ghost
Copy link

@ghost ghost commented Jun 1, 2018

Actually, this overlay is the new home of the (already registered)
"frabjous" overlay. I decided to start fresh at gitlab.com with a
new name.

As soon this PR is accepted, I'll push a news item in the old
overlay, notifying potential users about the changes and requesting
them to migrate to the new overlay.

The old (frabjous) overlay will be removed in 30 days.

Actually, this overlay is the new home of the (already registered)
"frabjous" overlay. I decided to start fresh at gitlab.com with a
new name.

As soon	this PR	is accepted, I'll push a news item in the old
overlay, notifying potential users about the changes and requesting
them to migrate to the new overlay.

The old (frabjous) overlay will	be removed in 30 days.
@mgorny
Copy link
Member

mgorny commented Jun 1, 2018

Thanks. Please remember to file the removal PR when the time comes ;-).

@gentoo-bot gentoo-bot closed this in 0dc015e Jun 1, 2018
@ghost ghost deleted the add-chaoslab-overlay branch June 1, 2018 18:15
@ghost
Copy link
Author

ghost commented Jun 2, 2018

Please remember to file the removal PR when the time comes ;-).

Sure thing. BTW, this is the news-item I have pushed to the old overlay.

@ghost ghost mentioned this pull request Jul 3, 2018
gentoo-bot pushed a commit that referenced this pull request Jul 3, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
1 participant