metrics: rebase-and-retry the commit-back push#13

christiankissig merged 2 commits into

masterchristiankissig/python-isabelle-parser:masterfrom

metrics-pushfixchristiankissig/python-isabelle-parser:metrics-pushfixCopy head branch name to clipboard