Closed volconst closed 2 years ago
Can you rebase this and 1259 to incorporate the comma fix?
Can I rebase using the web UI? In the other PR the merge of kliment/master to volconst is visible in kliment/master history. We want to rebase so no merge commit is visible in history, right? What if I delete this PR and create new? Won't this run the checks on the latest master without need of merge nor rebase?
I think you can rebase on your own local branch and then push. I don't think it's a problem if there's a merge commit, so feel free to do a pull and push instead if that's easier for you.
@kliment Can you delete this PR? I am not at the local branch now and also unsure about changing history of published branches with rebase.
Sorry, I had just to close it without merging to be able to recreate it
Fixes #1258