Herein are gathered some scripts only used by developers for checking commit ranges and releases.