Adding folders_to_ignore property

[miguelrgonzalez]

Folders_to_ignore now at dev branch

[grtjn]

Hmm, pity. Can't automatically merge. I think it is because your dev branch wasn't holding the latest from marklogic/roxy dev branch. Can you try:

$ git fetch upstream
$ git rebase upstream/develop

And then git push to append to your pull-request?

[miguelrgonzalez]

Hi Geert,
I had quite a mess on my local git. I forgot to update my local dev
branch with the latest and was using a really old commit as a base....

anyway, I think it's fixed now.

Cheers,
Miguel

[grtjn]

Yes, result looks good. @paxtonhare or @dmcassel care to click the Merge button?