| Summary: | can't push to web git repo | ||
|---|---|---|---|
| Product: | Community | Reporter: | Martin Lippert <mlippert> |
| Component: | Git | Assignee: | Eclipse Webmaster <webmaster> |
| Status: | RESOLVED FIXED | QA Contact: | |
| Severity: | major | ||
| Priority: | P3 | CC: | denis.roy |
| Version: | unspecified | ||
| Target Milestone: | --- | ||
| Hardware: | Macintosh | ||
| OS: | Mac OS X | ||
| Whiteboard: | |||
|
Description
Martin Lippert
The setgid bit is typically applied to directories so that new directories are set to the same group ... but for some reason the setgid bit was applied to files as well. This is an oversight, and I've removed it. You should be all set. Great, thanks for the quick fix, works again. I guess it takes a while until those changes are live, correct? Or do I need to do anything special to get a new update site up there in addition to push to that repo? It typically takes a minute or two after the push to propagate to all the web servers. If your changes are not propagating, something may be stuck. Works just fine. Thanks!!! |