@nkumar15-brown-university recently asked Austin to merge new code into develop rather than master so I was going to do the same but develop seems to be way behind. Does whoever's admin for the repo want to rebase any unmerged commits in develop onto master?