Pavel Roskin <proski@xxxxxxx> writes: >> You'll need to get a fresh clone of the repository -- sorry. > > While it's reassuring to see that I'm not missing some elegant solution, > I think cloning the repository is a major overkill. I agree. > "git-reset --hard origin/everything" does the trick for me, while using > much less bandwidth and time. I do the same and it has worked for me, at least. It would be nice if git would somehow do this automatically with rebased trees. Or maybe it already supports it and I'm not just aware of it? -- Kalle Valo - To unsubscribe from this list: send the line "unsubscribe linux-wireless" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
