OK, if I change those file name on my github, will this pull request be reflected or do I have to create a new one ?
Le 27 août 2013 à 16:47, "Nicolas F." <notifications@github.com> a écrit :

> In overviewer_core/textures.py:
> 
> > @@ -408,15 +420,16 @@ def load_light_color(self):
> >      def load_grass_color(self):
> >          """Helper function to load the grass color texture."""
> >          if not hasattr(self, "grasscolor"):
> > -            self.grasscolor = list(self.load_image("grasscolor.png").getdata())
> So why not do that? (use git mv to move/rename files, if you're in a command line)
> 
> —
> Reply to this email directly or view it on GitHub.
>