Clarify names #2664
Merged
Clarify names #2664
Geo GHCI int / Pull request checks
succeeded
Dec 18, 2024 in 17s
Pull request checks
✔️ The commit f97d20b is not a fixup commit
✔️ The commit f97d20b is not a squash commit
✔️ The first letter of message head in commit f97d20b is a capital
✔️ The message head in commit f97d20b is at least 4 characters long
✔️ The commit f97d20b is not a merge commit
✔️ Code spell on commit f97d20b are correct
✔️ Pull request title is correct
Loading