Re: [topbraid-users] Zombies in Git Integration

2025-04-11 Thread Holger Knublauch
The branch checkout is a known bug in 8.3.1 and fixed in the latest patch as well as in 8.4Sent from my iPhoneOn 11.04.2025, at 17:41, Adam Kimball wrote:I deleted the clone and that did the trick!  Thanks.  I think the lesson learned is renaming existing repos is bad news!I hadn't even seen thos

Re: [topbraid-users] Zombies in Git Integration

2025-04-11 Thread Adam Kimball
I deleted the clone and that did the trick! Thanks. I think the lesson learned is renaming existing repos is bad news! I hadn't even seen those options before, so thanks for pointing them out. In fact, I've been trying to figure out how to have EDG work from a branch so seeing the "Checkout