Closed notgull closed 1 year ago
What's the diff with #65?
There has been quite a few changes since #65 (most notably #88) and rebasing it would be more difficult than just rewriting it. In essence, no difference.
Fair enough but you could just force push to the same branch and avoid the noise, keep all information/discussion in the same place and avoid this discussion as well. 😊
Fair enough but you could just force push to the same branch and avoid the noise, keep all information/discussion in the same place and avoid this discussion as well. blush
I already deleted the branch so I can't re-open #65, unfortunately.
I already deleted the branch so I can't re-open #65, unfortunately.
Oh, no I wasn't suggesting that. That was for future reference. Sorry for not making it clear.
Supersedes #65