Evaluate this for pushing HelloWorld.md