Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 650942 - rename repository: carreira
Summary: rename repository: carreira
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Infrastructure
Classification: Unclassified
Component: Gentoo Overlays (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Overlays Project
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2018-03-19 21:38 UTC by Joao Carreira
Modified: 2018-04-15 15:26 UTC (History)
1 user (show)

See Also:
Package list:
Runtime testing required: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Joao Carreira 2018-03-19 21:38:02 UTC 
I would like to rename my overlay in the database to "pixlra". 

After the rename I will rename the repo_name file.
Comment 1 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2018-03-19 21:52:43 UTC 
Please submit a pull request and I'll merge it tomorrow.
Comment 2 Joao Carreira 2018-03-19 22:33:16 UTC 
Pull request to https://github.com/gentoo/api-gentoo-org?
Comment 3 Joao Carreira 2018-03-19 22:51:17 UTC 
PR link: https://github.com/gentoo/api-gentoo-org/pull/115
Comment 4 Michał Górny archtester Gentoo Infrastructure gentoo-dev Security 2018-04-15 09:02:35 UTC 
That's been merged.
Comment 5 Joao Carreira 2018-04-15 15:26:15 UTC 
Thats been fixed. Thank you.