| ▲ | glemion43 2 hours ago | |
It's not. There are so many ways to just solve this non issue that no one will just switch to just another random tool. Especially not away from git. | ||
| ▲ | dwattttt an hour ago | parent [-] | |
> It's not Given that other posts solved the problem by scripting this feature on top of git, I guess you're telling them their solution isn't relevant too. | ||