Update name and URL of "ResenseHEX"

[per1234]

This PR consists of two changes:

• Change URL from https://github.com/TUDA-MUST/Resense-HEX.git to https://github.com/TUDA-MUST/ResenseHEX.git (companion to Update name and URL of "Resense HEX" to "ResenseHEX" #7500)
• Change name from Resense HEX to ResenseHEX

Since the name change operation on the database is actually a removal followed by automated re-indexing on the next job run, the URL update will occur as a matter of course. For this reason, the only operation required from the backend maintainer is a standard name change procedure.

[github-actions]

Hi @per1234.
Your pull request has been detected as something other than a Library Manager submission.
A maintainer will need to review it before it can be merged.

If you intended to submit a library, please check the instructions and update your pull request if necessary:
https://github.com/arduino/library-registry/blob/main/README.md#instructions

[MarkSupp]

Hello @per1234 ,
thanks for working on it! Quick question, shouldn't the URL in the registry.txt also be changed, so:
https://github.com/TUDA-MUST/ResenseHEX.git|Contributed|ResenseHEX

[per1234]

Hi @MarkSupp. That is exactly what I have done. Please take a look:
https://github.com/arduino/library-registry/pull/7502/changes

library-registry/registry.txt

Line 8732 in 7fa1b79

https://github.com/TUDA-MUST/ResenseHEX.git|Contributed|ResenseHEX

Note that this pull request consists of two commits; one for each of the distinct maintenance operations being performed:

• Update name: d72cecb (#7502)
• Update URL: 7fa1b79 (#7502)

[MarkSupp]

Oh sorry, just looked at the first commit and not the overall change, Thank you!