clarifying what to look for on remote after you have pushed a merged branch