Opened 5 years ago
Closed 5 years ago
#17731 closed defect (invalid)
Fix git mixup from ticket #17556
Reported by: | mjo | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | symbolics | Keywords: | |
Cc: | rws, kcrisman, vbraun | Merged in: | |
Authors: | Reviewers: | Michael Orlitzky | |
Report Upstream: | N/A | Work issues: | |
Branch: | u/mjo/ticket/17731 | Commit: | d27f8497dcd19d70ec08155888e6fec9c74b839a |
Dependencies: | Stopgaps: |
Description
In ticket #17556 it looks like we only got the commit from Ralf's fix to the Sage Gymnasium.
I think my branch should still be good, but I can't reopen that ticket.
Change History (10)
comment:1 Changed 5 years ago by
- Cc vbraun added
comment:2 Changed 5 years ago by
- Commit changed from 044db1d2b7bc4e914e92ed7aa87629cbe958bc52 to d27f8497dcd19d70ec08155888e6fec9c74b839a
Branch pushed to git repo; I updated commit sha1. New commits:
comment:3 Changed 5 years ago by
I think the branch got deleted after the ticket was closed, but I still have it locally. I just rebased it on develop and pushed it, let's see what happens.
comment:4 Changed 5 years ago by
- Branch changed from u/mjo/ticket/17556 to u/mjo/ticket/17731
Let's try that again.
comment:5 Changed 5 years ago by
Still shows as merged.
comment:6 Changed 5 years ago by
comment:7 Changed 5 years ago by
I'm pretty sure the problem is confined to #15346, and it's up to me to offer apologies.
comment:8 Changed 5 years ago by
- Milestone changed from sage-6.5 to sage-duplicate/invalid/wontfix
- Reviewers changed from Ralf Stephan to Michael Orlitzky
- Status changed from new to needs_review
So ... close this?
comment:9 Changed 5 years ago by
- Status changed from needs_review to positive_review
comment:10 Changed 5 years ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
I'm not sure it works - I can't click on the branch and the mouseover text says "Already merged". Interesting. Volker, any clues here?