instruction on GitHub integration from AS