some scripts to push keys to diferent git hosting services