Test tag nr. 5 for issue #130: checking push from local repo instead of CmicLab hook
This tag has no release notes.