#16331: Game Theory: Build capacity to solve matching games in to Sage.
-------------------------------------+-------------------------------------
Reporter: vinceknight | Owner:
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: game theory | Resolution:
Keywords: Game Theory, | Merged in:
Matching Games, | Reviewers:
Authors: | Work issues:
Report Upstream: N/A | Commit:
Branch: | 40d4cfaa662913ca6795a8a9a598b53cf931809c
u/vinceknight/game_theory__build_capacity_to_solve_matching_games_in_to_sage_|
Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Comment (by vinceknight):
Replying to [comment:20 vdelecroix]:
> Please, have a look at http://git-scm.com/book/en/Git-Tools-Rewriting-
History
>
> It does not makes sense to cancel commits by adding another commit!!
>
> EDIT: and you should not merge a beta release if there is no need to.
There is a need only if there is a non-trivial conflict. Now there are 10+
commits in this ticket and there are completely screwed up by several
merge of beta releases...
I have no idea how we did that.
We very aware that this mess could happen and tried our best to ask around
before starting this as to how to avoid it... Is the best way forward to
just push the code from the HEAD of this branch on to a new branch? Would
this require a new ticket on trac?
Very eager to follow whatever advice/guidance. Is it worth throwing this
discussion on the discussion group?
> Vincent
--
Ticket URL: <http://trac.sagemath.org/ticket/16331#comment:23>
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.
