Trello pushes card assignments to github if it knows the user #96