accidental ticket

69 views

Skip to first unread message

unread,

Aug 23, 2020, 7:36:38 PM8/23/20

to sage-devel

I was using `git-trac` and somehow accidently made 2 tickets:

I don't think tickets can be deleted, but what is the proper etiquette for marking one a duplicate or closed?

unread,

Aug 23, 2020, 9:24:48 PM8/23/20

to sage-devel

2020-08-24 23:36:38 UTC, Travis Scholl:

If I understand correctly, 30425 is the accident

and 30426 is the actual ticket you want to keep.

I've repurposed 30425.

unread,

Aug 24, 2020, 11:11:19 AM8/24/20

to sage-devel

Thanks for the save Samuel!

unread,

Aug 31, 2020, 9:07:34 AM8/31/20

to sage-devel

It's not a big deal, you can just mark it as duplicate/invalid and set
it to "needs_review" and someone can close it.

Reply all

Reply to author

Forward

0 new messages