Only push to the origin repo if we wanted to fetch, too.
1 file changed