Fix labels / colors after #174, #177

[mkoeppe]

https://github.com/sagemath/sage/labels?page=3&sort=name-asc

[mkoeppe]

@kwankyu

[kwankyu]

I get 404 from the link. What's the problem? The labels don't get the texts we intended? It is "wontfix" instead of "r: wontfix"?

[mkoeppe]

The screenshot shows both prefixed and non-prefixed labels, and the r: labels have the wrong color.

[mkoeppe]

I think I'll just back out the most recent changes to the labels.

[kwankyu]

Ah, yes. I don't quite understand how labels are defined. Let me ask some questions.

(1) Could non-prefixed labels be remnants from the previous import?

(2) Are they completely defined only by migrate.cfg.sagetracmigrationarchive?

[mkoeppe]

(1) No, I always clean in the production environment

(2) No, there are also some default colors defined somewhere in the script

[kwankyu]

Then "duplicate and "r: duplicate" are both defined somewhere in our migration script?

[mkoeppe]

One mistake is in map_resolution, I think - there's no prefix added

[mkoeppe]

Maybe this would already fix the colors too, not sure.

[mkoeppe]

OK, I've made this change in 6c41c5d

[kwankyu]

If we can use GHE, which seems down now, we can experiment before proceeding...

[kwankyu]

Maybe this would already fix the colors too, not sure.

This might be enough.

[mkoeppe]

Yes, our trial license for GHE has already expired, Dima shut down the server a few days ago.

[mkoeppe]

Looks like this is indeed fixing it already.

[kwankyu]

If label_category is r: resolution, then this code

labelcolor[label_category] 

will not work since we only have resolution: c6c6c6 but not r: resolution: c6c6c6 in migrate.cfg.sagetracmigrationarchive. Is label_category still resolution?