#14379 closed defect (fixed)
remove unused head in polybori mecurial repository
Reported by: | ohanar | Owned by: | jason |
---|---|---|---|
Priority: | major | Milestone: | sage-5.9 |
Component: | packages: optional | Keywords: | |
Cc: | jdemeyer, roed, AlexanderDreyer | Merged in: | sage-5.9.beta3 |
Authors: | R. Andrew Ohana | Reviewers: | Jeroen Demeyer |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
It breaks hg_fast_export (used in converting to a git repository).
Ok, new spkg: http://boxen.math.washington.edu/home/ohanar/spkgs/polybori-0.8.2.p0.spkg (I didn't update the patch number since I don't feel like fixing the mercurial repository warrants it)
Change History (7)
comment:1 Changed 8 years ago by
- Cc jdemeyer roed added
- Description modified (diff)
- Status changed from new to needs_review
comment:2 Changed 8 years ago by
- Component changed from misc to packages: optional
comment:3 Changed 8 years ago by
- Status changed from needs_review to needs_work
No, it is not, there should be no differences in the working tree between the current spkg and the new one (the only change should be the in the repository). I'll look into what I did wrong.
comment:4 Changed 8 years ago by
- Status changed from needs_work to needs_review
Ok fixed. To resolve this ticket I introduce two commits: one to merge the unused head, and the second to revert any changes brought about by the merge (which is just the diff that you show).
comment:5 Changed 8 years ago by
- Reviewers set to Jeroen Demeyer
- Status changed from needs_review to positive_review
comment:6 Changed 8 years ago by
- Merged in set to sage-5.9.beta3
- Resolution set to fixed
- Status changed from positive_review to closed
comment:7 Changed 8 years ago by
- Cc AlexanderDreyer added
The spkg from is #13989 is now rebased to the updates spkg from here
What's up with this change, is it intentional?
.8.2.p0/spkg-install
echo "Removing old PolyBoRi install..."clean_polyboriecho "Done removing old PolyBoRi install."