Adding macros to push pinning roots - port PR #43#71

qinsoon merged 3 commits intommtk:devmmtk/julia:devfrom

qinsoon:push-pinning-roots-port-43qinsoon/julia:push-pinning-roots-port-43Copy head branch name to clipboard