mps-checkin Pre commit handlers for JetBrains MPS. New check boxes can be added to the Before commit section of the pre-commits in the commit tool.