You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently whenever the primer runs it will just remove the directory in which it will clone the necessary repositories. This is to avoid a bug where Github Actions was unable to create a gitpython.Repo() object from the pre-existing directory.
It would be good if we could check if a repository already exists in the directory to clone in, and if so check if we need to pull new commits.
The text was updated successfully, but these errors were encountered:
Currently whenever the primer runs it will just remove the directory in which it will clone the necessary repositories. This is to avoid a bug where Github Actions was unable to create a
gitpython.Repo()
object from the pre-existing directory.It would be good if we could check if a repository already exists in the directory to clone in, and if so check if we need to pull new commits.
The text was updated successfully, but these errors were encountered: