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

Re: [topbraid-users] Zombies in Git Integration

2025-04-10 Thread Adam Kimball
Nice, thanks for sharing that. Definitely learned a thing or two. I've cleared out the old git:GitIntegration resources but am still seeing that something is calling an old Git URL and I am not seeing the new repo. If I search in all graphs for the old git url, I see nothing. Maybe it is in

Re: [topbraid-users] Zombies in Git Integration

2025-04-09 Thread Adam Kimball
Holger, Thanks for the quick response! I don't know how to run SPARQL queries globally, but would love to know that, too! I do see an instance of git:GitIntegration in the one project where I've seen the zombie. Is it safe to SPARQL delete it? I'll hold off on anything until I hear back.

Re: [topbraid-users] Zombies in Git Integration

2025-04-09 Thread Holger Knublauch
Hi Adam, so do you still see any instances of git:GitIntegration (globally) in your workspace or do you see Zombie integrations without having such instances? Holger > On Apr 9, 2025, at 18:56, Adam Kimball wrote: > > Hi all, > > I’m not exactly sure how it happened, but I’ve ended up with