[Rseding91] [1.1.1][github] Github contains old outdated files

[lovely_santa]

Hi,

I just lost half an hour as I used github as my data.raw source (handy search repository function).

The issue I encountered: stone-walls is renamed to stone-wall, however, github still shows old files that should be removed (such as demo-technology), hence why I was working with the stone-walls definition in the demo-technology file, instead of the new definition inside technology itself.

Can I request that the github repo is updated once manually, such that all the old (and thus obsolete) outdated files can be removed?

Thanks in advance
lovely_santa

[Rseding91]

Thanks for the report. I updated the github and left a note for the guy who maintains the release script to fix the process so it handles deletions in the future.