Closed MyPyDavid closed 2 months ago
Can we rename this branch just to 2.3.0
? I am doing git checkout dev-2.2.0
very often and every char is expensive!
you don't have something like this? https://github.com/jimhester/per-directory-history
autofill for your commands..
otherwise I would prefer r-2.3.0
for example..
I think there will be no confusion since we delete 2.3.0
when we merge to main and then we have the tag.
this can be closed and a new pr with 2.3.0
can be opened....
Yes, lets do that after the release.
@MyPyDavid @afuetterer I have no clue why this PR says I merged it into main
(which I didn't) do you guys have any idea? I will delete the branch (in favor of 2.3.0
), but I want to check if there is a problem first.
Maybe the head commit came from another branch and github ui is confused? No idea. I guess this should be safe to delete.
Jupp, makes sense.
Description
Release branch for new features planned for RDMO 2.3.0
Motivation and Context
How has this been tested?
Screenshots (if appropriate)
Types of Changes
Checklist