Cleanup after migration to GitHub