Also seems to apply when switching channels
Not sure if I’ve created an issue but not all of the files are being updated after a pull. Reset will correct it afterwards
Found a case where I had to specifically reset problematic files which the general reset didn’t update for some reason
Oops, same nasty bug. If you can push, that would be helpful. Sorry again.
Pushed
Well done, merged! Thanks for these clever patches, super easy to review.
Debug looks like
Instead use None to distinguish the base case from “”.