[Gravity] Rebrand to Lunr.Gravity
Review Request #974 — Created June 26, 2023 and submitted
Information | |
---|---|
pprkut | |
Lunr.Gravity | |
aa3b52e... | |
Reviewers | |
lunr | |
Rebrand to Lunr.Gravity
GitHub actions run: https://github.com/pprkut/lunr.gravity/actions/runs/5381285335
Change Summary:
Use https for reviewboard URL
Commit: |
|
||||
---|---|---|---|---|---|
Diff: |
Revision 2 (+20 -38) |