New command: git trac merge

[mkoeppe]

I'm using a simple shell script git-trac-merge for it, but it would be nice to have something like this as a built-in command.

for a in $*; do git trac fetch $a && git merge --no-ff -m "Merge #$a" FETCH_HEAD; done

[GMS103]

I think there is a typo: git fetch trac.
But git fetch trac 33512 gives fatal: couldn't find remote ref 33512.
I was hoping for an "automatic" way of giving 33512 and getting
git fetch trac u/mkoeppe/update_python3_to_3_10_3
git merge --no-ff -m "Merge #33512" FETCH_HEAD
avoiding copying and pasting from https://trac.sagemath.org/ticket/33512

[mkoeppe]

git trac is the command that this project here - https://github.com/sagemath/git-trac-command - provides.

[GMS103]

Sorry, I should have looked more closely.
Works perfectly, thanks.