#2686: graph generators - new additions
-------------------------+-------------------------------------------------
Reporter: rlm | Owner: rlm
Type: | Status: needs_review
enhancement | Milestone: sage-6.2
Priority: major | Resolution:
Component: graph | Merged in:
theory | Reviewers:
Keywords: | Work issues:
graphs | Commit:
Authors: | 9ee0824302c6777c005a5d0533a74708eb7f308f
Report Upstream: N/A | Stopgaps:
Branch: |
u/chapoton/2686 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by ncohen):
Yooooooooo !!
Well, I do not mind much for as long as the graph can be built, this is
very unlikely to become the critical operation of any code in the future
`:-D`
If you have problems when pushing a branch, use `git push -f`. This will
force the push operation, erasing what was on the othe side if necessary.
Weird that you needed it here, though.
Oh. I see. You rebase the whole branch. You should not do that `:-/`
It is much cleaner to "merge" the latest develop release into the branch.
This way you just add another commit in the branch which merges it with
the latest release, and there is no rebasing going on, while you "copied"
all commits on top of the latest release.
It's not a problem if you rewrote history here, however, as nobody based a
branch on our earlier commits.
I just applied your branch, and I have to recompile Sage as a result as I
was working on an earlier beta. Will check that tests pass, and then give
this ticket a positive review.
Nathann
--
Ticket URL: <http://trac.sagemath.org/ticket/2686#comment:28>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
