About a year ago, I started my mornings updating arxiv entries in our publication database to help me wake up. I stopped at the year 2018 for whatever reason, and I just rediscovered this stale branch.
So I spent a couple of minutes to rebase and sort out my commits to integrate my previous efforts to the database. I have a few other housekeeping commits from that time, which I would address in separate pull requests.
drwells
commented
12 months ago
Part of #289.
About a year ago, I started my mornings updating arxiv entries in our publication database to help me wake up. I stopped at the year 2018 for whatever reason, and I just rediscovered this stale branch.
So I spent a couple of minutes to rebase and sort out my commits to integrate my previous efforts to the database. I have a few other housekeeping commits from that time, which I would address in separate pull requests.