.oO is code downloaded from github conveyed by Microsoft? e.g., if I get GPLv3 code encumbered by Microsoft patents from Microsoft's servers, wouldn't I and downstream be safe from Microsoft's patent attacks WRT that code per GPLv3's terms?
IANAL, but AFAICT the answer to my question is no. per section 10, a
patent attack after conveyance would then amount to copyright
infringement, but section 11's license of essential patent claims
applies to contributors only, not to mere (re)distributors