17119: Merge branch 'master' into 17119-add-filter-groups
[arvados.git] / services / api / script /
drwxr-xr-x   ..
-rwxr-xr-x 7154 arvados-git-sync.rb
-rwxr-xr-x 469 create_superuser_token.rb
-rwxr-xr-x 2285 get_anonymous_user_token.rb
-rwxr-xr-x 5914 migrate-gitolite-to-uuid-storage.rb
-rwxr-xr-x 3149 populate-file-info-columns-in-collections.rb
-rwxr-xr-x 1078 rails
-rwxr-xr-x 480 rake_test.sh
-rwxr-xr-x 841 restart-dns-server
-rwxr-xr-x 1066 salvage_collection.rb
-rwxr-xr-x 2149 setup-new-user.rb