synching new debian with github