Successful pull from Github should tell you what commit you're now on

[Jarry1250]

Could be in the main success notification (which would be very similar to the result of a local "git pull"), though this would only make sense in the context of a manual pull. Still, it would reassure the user that their recent commits had been incorporated successfully.