If I understand GPL3 correctly, they still have to make the modified source available and state the changes they made. The header on GH that parses the license also seems to agree with me: https://github.com/mhdhejazi/CoronaTracker/blob/master/LICEN...