Hey fellow developers,
as you may or may not know, our resource management relies heavily on SHA-1. Basically every resource is identified by a SHA-1 over it’s contents. Now that is all pretty great, but given the fact that SHA-1 collisions can be manufactured these days we should rather quickly think about a replacement IMHO. So either we use a better hashing algorithm with less collision potential or we rethink the whole thing. I guess the former is the better option, but as this is a complicated and rather breaking change I would like to discuss how you feel about it and what solutions you see.