Another GitHub operation (so that it makes sense to introduce applicatives)