Page 1 of 1

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

Posted: Thu Nov 26, 2020 10:58 pm
by 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

Re: [1.1.1][github] Github contains old outdated files

Posted: Sat Nov 28, 2020 6:01 am
by 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.