A Dataset of the Activity of the Git Super-repository of Linux in 2012 | IEEE Conference Publication | IEEE Xplore