Merge branch '8784-dir-listings'
[arvados.git] / services / api / db / migrate / 20150317132720_add_username_to_users.rb
2017-07-05 Tom CleggMerge branch '8784-dir-listings'
2017-06-30 Tom CleggMerge branch '11807-yaml-to-json'
2017-06-30 radhikaArvados-DCO-1.1-Signed-off-by: Radhika Chippada <radhik...
2017-06-29 Lucas Di Pentima11789: Merge branch 'master' into 11789-arvput-exclude...
2017-06-29 Tom CleggMerge branch '2411-check-copyright'
2017-06-28 Tom Clegg2411: Add copyright notices to everything.
2016-03-11 Tom CleggAdd 'build/' from commit '555b039609a3c8700c27767c255fd...
2016-03-01 Peter AmstutzAdd 'tools/arvbox/' from commit 'd3d368758db1f4a9fa5b89...
2015-09-04 Joshua C. RandallMerge pull request #2 from wtsi-hgi/feature/arv-view
2015-05-19 mishazMerge branch 'master' into 3408-production-datamanager
2015-03-31 Peter AmstutzMerge branch '5539-better-docker' closes #5539
2015-03-30 Tom Clegg5416: Merge branch 'master' into 5416-arv-git-httpd
2015-03-25 Radhika ChippadaMerge branch 'master' into 5556-collection-show-timeout
2015-03-25 Radhika ChippadaMerge branch 'master' into 5247-anonymous-doc
2015-03-25 Radhika ChippadaMerge branch 'master' into 5534-limit-log-lines
2015-03-25 Radhika ChippadaMerge branch 'master' into 3762-delete-list-worker
2015-03-25 Radhika ChippadaMerge branch 'master' into 5420-collection-checkbox...
2015-03-25 Brett SmithMerge branch '4253-user-usernames-wip'
2015-03-25 Brett Smith4253: Add a username attribute to users.