about
publications
teaching
talks
blog
Misc
repos side projects

Dev

an archive of posts in this category

Jan 12, 2024	Github Actions for connecting two Github repositories

© Copyright 2025 Vasilis Gkolemis. Powered by Jekyll with al-folio theme. Hosted by GitHub Pages. Photos from Unsplash. Last updated: November 19, 2025.