which repository should be in Metadata?

[jtravs]

Currently metadata points to jverzani/Roots.jl

We should resolve which repository is the official one. I suggest we use this one, and give @jverzani commit access?

@StefanKarpinski see also discussion here: 7246e1ac37635041bf49bbe75651be5d0e9d5a65

[jverzani]

Agreed, I thought it was like that already outside of the commit access.

[johnmyleswhite]

Yes, let's give @jverzani access. I'll look into doing that now.

[johnmyleswhite]

I didn't have high enough privileges to give @jverzani access.

[StefanKarpinski]

What needs to happen here?

[jverzani]

I thought the decision was to keep this under JuliaLang. If that is the
case then:

• change METADATA to point there and not my repository
• merge a pull request, if suitable

If someone wants to give my push access that would be helpful going
forward, but isn't such a big deal.

On Mon, Feb 10, 2014 at 11:27 AM, Stefan Karpinski <notifications@github.com

wrote:

What needs to happen here?

Reply to this email directly or view it on GitHubhttps://github.com//issues/11#issuecomment-34650821
.

John Verzani
Chair, Department of Mathematics
College of Staten Island, CUNY
verzani@math.csi.cuny.edu

[StefanKarpinski]

Sorry about that – I could have sworn I'd already added you. You've got push access now.

[jverzani]

Hope I'm not missing something obvious, but I don't seem to be able to merge #12, which I was hoping to do before updating METADATA with the correct url.

[jwmerrill]

Bump.

Would be nice to have the official version of this package settled.

[johnmyleswhite]

Bump.

[jverzani]

Hopefully fixed with 9416279 (manual edits seems to be correct)