github Archives

Setup a CI/CD pipeline using Github Actions, Docker

May 16, 2021 by Ayoub Bensakhria

GitHub Actions is GitHub’s new build server, just like Gitlab’s gitlab pipeline. It allows you to automate your workflow directly from your GitHub repository, without having to configure and manage a third-party server like jenkins, Bamboo, CircleCI. For example, we can define an action that allows us to build our project and run a set … Read more

[Solved] Accidently added another git repository inside the current repository – grey icon on the remote repository

June 17, 2020 by Ayoub Bensakhria

This problem is due to a submodule, pointing to an unreachable remote location. Changed directory to the offending dir: Remove the .git directory inside it: Update the git cache: Go to the parent directory: Add the directory to git: