type transformations

[Robinlovelace]

Finally having a look at this :pray:

[michaeldorman]

Finally having a look at this pray

Thanks @Robinlovelace !

[Robinlovelace]

And deleting the branch FYI @michaeldorman ; )

[michaeldorman]

And deleting the branch FYI @michaeldorman ; )

Thanks @Robinlovelace, I didn't know how to do it, git is quite new to me still :-) I guess that there are many branches that can be deleted by now because the contents are already in main

[Robinlovelace]

There should be a button that says "Delete branch" on the Pull Request, see the 'Restore branch' equivalent above this message.