Learn more about these different git repos.
Other Git URLs
19fd7a3
Add some schedule()s to SM (thanks Dave) so it doesn't get the chance to chew up CPU time without sharing.