This is pretty much standard procedure. Depending on his contract, it saves github from paying severance.