search

ARTbio / GalaxyKickStart

Ansible playbooks for Galaxy Server deployment
GNU General Public License v3.0
24 stars 22 forks source link

Migrate repository to galaxy-kickstart #165

Closed mvdbeek closed 8 years ago

mvdbeek commented 8 years ago

Mostly renamed automatically with grep --exclude-dir=".git" -r artimed -l .| xargs -I{} sed -i.bak s/artimed/kickstart/g "{}" plus renaming the group_vars/artimed file, artimed-extras and extra-files/artimed appropriately.

Need to verify carefully. Tests are expected to fail as long as the repo is not renamed.

drosofff commented 8 years ago

See #164: ok in general for the repo renaming. But specifically, kickstart will not replace artimed that we will keep until the end of the program (July). I am working on a branch for this, see in few minutes Please do not merge before extensive debrief.

drosofff commented 8 years ago

I am closing temporarily the PR for security