What Is the Gist? Understanding the Use of Public Gists on GitHub | IEEE Conference Publication | IEEE Xplore