+1
Add notification icon separately for Push and Pull buttons.
So if there is something to pull for a given repo, add a separate notification icon for the pull button. Same for push.
Not that just an arrow icon on the repo name.
Customer support service by UserEcho