Release info service and create mirror on gitlab.com

• Wrote release guidelines
• created push mirror on gitlab.com
• released