The missing link between GitHub and Trello: a Chrome extension