"Nick Sabalausky" <a@a.a> wrote in message news:jgkar8$jon$1...@digitalmars.com... > I thought Git was supposed to be able to intelligently handle > moved/renamed files? So shouldn't fixing those pull requests amount to > "pull, possibly fix merge conflicts, push" just like with any other > upstream change? >
Git doesn't do everything it's supposed to be able to do, at least not smoothly. Considering how minor this is, it should be done some time when there are less pull requests open.