[Rseding91] [1.1.1][github] Github contains old outdated files
Posted: Thu Nov 26, 2020 10:58 pm
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
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