| Summary: | Push to local repo does not update index and working tree | ||
|---|---|---|---|
| Product: | [Technology] JGit | Reporter: | Stefan Lay <stefan.lay> |
| Component: | JGit | Assignee: | Project Inbox <jgit.core-inbox> |
| Status: | CLOSED WONTFIX | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | unspecified | ||
| Target Milestone: | 0.9.0 | ||
| Hardware: | PC | ||
| OS: | Windows Vista | ||
| Whiteboard: | |||
|
Description
Stefan Lay
The method org.eclipse.jgit.transport.Transport.push(...) does not update the index and the working tree of the remote repo on the local file system. Is this the intended behaviour? I checked https://git.wiki.kernel.org/index.php/GitFaq#Why_won.27t_I_see_changes_in_the_remote_repo_after_.22git_push.22.3F and found: The push operation is always about propagating the repository history and updating the refs, and never touches the working tree files. Therefore I close the bug. |