search

coala / meta

A repository for non-code activities, such as engagement initiatives, and other meta issues
6 stars 5 forks source link

Remove/rename gitlab documentation and devops repos #90

Closed coala-bot closed 6 years ago

coala-bot commented 7 years ago

Opened via gitter by @jayvdb

meetmangukiya commented 7 years ago

Since documentation and devops named repositories exist on both github and gitlab. And github repositories are more active than the gitlab ones which have not received any activity for ~8 months.

documentation repo is actually moved from gitlab to github. So gitlab one is a stale repo. devops repos on gitlab and github do not share any history, they are different.

Reason for renaming:

  1. It confuses corobo which repo to consider, gitlab or github, while creating an issue if the repository given was documentation or devops
jayvdb commented 7 years ago

https://gitlab.com/coala/documentation/commit/e7262517 (HEAD of master, Aug 24, 2016) is not in github : https://github.com/coala/documentation/commit/e7262517 . The github and gitlab repos both started with b95263b11, and they are identical up to https://github.com/coala/documentation/commit/891a78a , the second last commit on gitlab.

Thus, I agree that https://gitlab.com/coala/documentation/ should be deleted, as the one extra commit is not worth keeping.

iakat commented 6 years ago

coala/devops on GitLab can definitely be deleted; at its current state it's useless.

meetmangukiya commented 6 years ago

Thanks @chauffer @jayvdb we have a green flag, wanna delete those then?

jayvdb commented 6 years ago

I have deleted devops as it was almost empty with only a few unusable files (no issues, MRs, pipelines, etc).

I have renamed documentation to documentation-old as it does have issues, especially open issues, so the history is worth keeping until someone has time to assess that.