is github copilot open source - Search