Closed Morisset closed 3 years ago
Don't worry @Morisset, there's a fix on the way (finally!). I'll let you know once it's here officially. Testing the last little bits now :wink:.
Also, that happened because yesterday some additional commits were pushed by mistake and I had to revert to the previous state, changing the commit hashes. So you would have had to git pull
first to make this work. You couldn't have predicted I was breaking things :smile:.
New solution merged! → 7dd840aa0789d3af161ffc54d89d11c58d51ba82
It should now be updating daily about 1.5 hour after the upstream repository at 6 AM UTC. At this point, pull requests based on the older code will always lead to conflicts :slightly_smiling_face:. Let me know how you find this new solution! The processing part now takes less than 4 minutes.
Seems the pull request came automatically from my script, but something is still wrong, as it has conflicts :-(