Is Github Copilot Worth It Reddit 2025