Tiding Up After The Migration to GitHub

Signed-off-by: Antonio Uccio Verardi <antonio.uccio.verardi@gmail.com>