On Thu, 6 Jun 2019 15:08 Michael Jung, <micj...@uni-potsdam.de> wrote:
> How can I delete the actual branch on trac and create a new one? > this can be done with the usual git commands - google for git delete remote branch > And: How do I merge properly to the recent beta version? > a proper way would be to do git rebase git merge might be easier. suppose your remote, pointed at git trac server, is called trac (check the output of git remote -v ) git fetch trac develop will fetch the latest remote branch git rebase trac/develop will apply all your changes in the local branch on top of the current beta. resp. git merge trac/develop will apply the current beta changes over your branch. > > I am sorry, it seems I'm too stupid for git trac. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/0557d425-84b1-409e-aef1-e2903d704458%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/0557d425-84b1-409e-aef1-e2903d704458%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq2DZ_3eak1jsxc431%2BCzKUtA7hsXtw0t-%2BtLSy4f9hf9Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
