G github.blog Raptor mini is rolling out in public preview for GitHub Copilot 4 points janpio 11 months ago 1 comments