Should we archive this repository?

ros-industrial / jenkins_config

Contains jenkins CI configuration scripts.

4 stars 6 forks source link

Closed gavanderhoorn closed 4 years ago

gavanderhoorn commented 5 years ago

Triggered by #24: should we clearly mark this repository as deprecated and/or unused?

@jrgnicho, @shaun-edwards, @Levi-Armstrong?

gavanderhoorn commented 4 years ago

I'm going to archive this repository.