You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Jan 30, 2023. It is now read-only.
* master: (216 commits)
also remove untracked directories after an aborted import patch
trac_interface: encode fields with utf-8 as well
sage.dev: don't textwrap during doctesting
patch.py: deal with hg's silly copy commands
SageDev: fix pull doctest
SageDev: remove branch keyword from pull
fix doctest errors in SageDev.push
remove (now) bad uses of SageDev.pull
remove unused garbage
dumb down pull to fix it
don't abort ticket editing on nop push
remove last reference to download command
fix dev scripts in emacs shell
remove , from my name
fixed missleading error message for trac authentication error
[FIXUP] 5.13.beta2: update git specific files
5.13.beta2
5.13.beta2
fixed import statement for the commandline interface
fix doctest failure from bad merge conflict resolution
...
0 commit comments