bump version #542

Merged
mohr merged 2 commits from mueller/bump-version into master 2022-02-04 13:23:24 +01:00
Owner

Might be worth making a new subversion for this?

Might be worth making a new subversion for this?
Owner

Hm this is unfortunate. We should update our Release Procedure. Any suggestions welcome.

Hm this is unfortunate. We should update our Release Procedure. Any suggestions welcome.
Owner

Can you update this to 3.0.1?

Can you update this to 3.0.1?
gaisser added this to the v3.0.1 milestone 2022-02-03 15:50:49 +01:00
gaisser self-assigned this 2022-02-03 15:51:05 +01:00
gaisser added the
bug
label 2022-02-03 15:51:20 +01:00
Owner

Reminder: Before merging, this pull request must be merged in Master.

Reminder: Before merging, this pull request must be merged in Master.
Author
Owner

bumped it to v3.0.1

bumped it to v3.0.1
mohr changed target branch from development to master 2022-02-04 12:19:41 +01:00
Owner

Oh something is wrong here. This branch contains all changes from development. It also must be forked from master instead.

Oh something is wrong here. This branch contains all changes from development. It also must be forked from master instead.
Owner

dude, I'm just fixing this right now...

dude, I'm just fixing this right now...
mohr force-pushed mueller/bump-version from 1821a4a816 to bd29688307 2022-02-04 13:11:51 +01:00 Compare
Owner

I rebased mueller/bump-version onto master to isolate the changes.

Unfortunately I had to force push it back to keep this PR, sorry for the inconvenience.

I rebased mueller/bump-version onto master to isolate the changes. Unfortunately I had to force push it back to keep this PR, sorry for the inconvenience.
mohr added the
hotfix
label 2022-02-04 13:17:00 +01:00
mohr merged commit 620841a9e5 into master 2022-02-04 13:23:24 +01:00
mohr self-assigned this 2022-02-04 13:30:45 +01:00
gaisser was unassigned by mohr 2022-02-04 13:30:46 +01:00
Sign in to join this conversation.
No description provided.