Learn more about these different git repos.
Other Git URLs
3ade7fa
Merge window.name clearing This closes #78