Update Drupal core via Pantheon
Yes that makes perfect sense - you've merged changes from the core repo, so your working copy is one commit ahead of your site's dev repo on Pantheon. Note that origin/master refers to the remote representing your repo, not drops-7.git

git push


to send the changes up to your dev site when you're ready to test, then pull them through the dashboard as normal.