Trivial change to check commit rights
Merge pull request #1 from dlab-berkeley/master

Testing if this approach for pull requests works