Comment on Fixing Github contribution error