I have merged a branch in to master and now I can see that in my git log
Some time has passed and now I want to know whether I previously also pushed master (with that commit) to the remote. How can I tell if it has been pushed?
I can think of a few workaround such as recloning the repository elsewhere, or resetting and checking and then re-merging but I feel that there's probably a somewhat simpler answer.
fyi this is different from How can I know in git if a branch has been already merged into master? as I know it has been merged, just don't know about the remote push.