No, GitHub posts their received DMCA notices publicly and links to them from the takedown page. So 2) is a reasonable expectation and it isn't present here, suggesting the post title is pure speculation.