| Summary: | ConcurrentRefUpdateException on merge, leaves repository in inconsistent state | ||
|---|---|---|---|
| Product: | [Technology] JGit | Reporter: | Simon Kaufmann <simon.kaufmann> |
| Component: | JGit | Assignee: | Christian Halstrick <christian.halstrick> |
| Status: | CLOSED WORKSFORME | QA Contact: | |
| Severity: | critical | ||
| Priority: | P3 | CC: | simon, stefan.lay |
| Version: | unspecified | ||
| Target Milestone: | 0.9.0 | ||
| Hardware: | PC | ||
| OS: | Windows Vista | ||
| Whiteboard: | |||
|
Description
Simon Kaufmann
just another detail that might be helpful: the .git/refs/heads/master file got lost. The .git/HEAD file still exists and is pointing to refs/heads/master Simon: is this one still valid? We talked about one bug but I don't think that is this one. Indeed, it's not the one we talked about. This one isn't reproducible, so I cannot really tell if it's still valid. It didn't happen again, so it doesn't really bother me. |