[mapserver-dev] Pull requests in documentation

[Thomas Gratier]

Hi,

Trying the same thing on my branch, I also had the problem.
I solved it by adding an unnecessary commit (like a new line in Makefile)
using Github GUI.
So pushing any correction on a file in the branch-6-4 will normally solve
the deploy problem.
Be careful, on mapserver.org website, everything seems to work (French
entry is alright http://mapserver.org/fr/ now) so no need to use this dirty
trick.

Cheers

ThomasG
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/mapserver-dev/attachments/20131209/210592ee/attachment.html>