search

HarrisKirk / blue-green-dreams

2 stars 1 forks source link

Rename command #80

Closed chrissound closed 1 year ago

chrissound commented 1 year ago

Fixes #79

This builds on top of the previous PR's commits, otherwise we'd end up with conflicts to resolve. Actually I think once you merge that one, this PR should just change to a single commit to merge.

HarrisKirk commented 1 year ago

@chrissound can you revise this PR? Sometimes GH is buggy because I don't see how some files will be changed since we merged the code today. Anyway, please make sure this does the intended things. I think your initial comment at the top is spot on.

HarrisKirk commented 1 year ago

I created a new PR and merged this work. Closing this ticket.