I tried to fix a Github issue with open devin but I think it does not work