Merge: GitHub misc