Replace alerts with notifications in the github-sync modal GitOrigin-RevId: 772add41b2d525353dc0c0362ebc64c4a023e2c3