Howdy Massimo,
When I saw you were creating some kind of overarching, official (or semi-official) source hub I was so excited I almost wet my pants. Then I wondered why no one had done it yet!
Anyway, I'm ready to drink the coolade and I've moved the two lib's I'm maintaining over to github from sourceforge. After relearning how to do everything in git that I could do at sourceforge, Im now ready to add my repo's to your page. Now I'm stumped. Just how do I add my repo ( GitHub - Ltalionis/PinChangeInt: A library for Arduino to use Pin Change Interrupts. ) to your org?