Fix filename for seeed_xiao_esp32s3_sense.md

[Timeline8]

When using Circup, when the version of CP is out of date, the URL to the board's download page on CircuitPython.com displayed by Circup is determined by

if board_id:
    url_download = f"https://circuitpython.org/board/{board_id}"

(source: https://docs.circuitpython.org/projects/circup/en/stable/_modules/circup.html#Module)

and currently the board_id and URL do not match.

Correct URL for this board is https://circuitpython.org/board/seeed_xiao_esp32s3_sense/ so the board_id in this file needs to be changed from seeed_xiao_esp32_s3_sense to seeed_xiao_esp32s3_sense

[makermelissa]

The board_id should match the board in CircuitPython: https://github.com/adafruit/circuitpython/tree/main/ports/espressif/boards/seeed_xiao_esp32_s3_sense

So, I think the file name is incorrect and should be changed to seeed_xiao_esp32_s3_sense.md

[Timeline8]

Change the file name but leave the ID change as I have it?

[makermelissa]

No, please leave the id field as it originally was. Otherwise it would be different from the one in circuitpython, which causes duplicate boards to appear.

[Timeline8]

But the problem is that Circup generates the URL for that board over at circuitpython.org using the board_id. If I leave the ID as is, then it does not fix the problem I am reporting. Currently circup generates an invalid address of where to go to get the latest version of CP for that board.

Alternatively someone could change the URL for that board at circuitpython.org but then that may break bookmarks and embedded web page links.

[makermelissa]

Alternatively someone could change the URL for that board at circuitpython.org but then that may break bookmarks and embedded web page links.

Changing the filename will change the URL at circuitpython.org and that's fine.

[Timeline8]

Ah I didn't realize the file name here was directly linked to the URL. I am trying to figure out how to revert the previous change of the board_id but I can not figure out how to revert it. I'll keep poking.

[makermelissa]

Just change it back in your code, change the filename and then commit and push the changes.

[makermelissa]

The bootloader_id should stay the same.

[Timeline8]

Yeah I didn't mean to change the board ID. That was an accident. I have not had any luck being able to change back the code. It may be due to me only using the Web interface (I don't have git installed on my computer) and all the examples I see on how to roll back edits involve git commands from the terminal/cmd prompt.

When I get some time I will try it again. If I can't make it work then i will close out this issue and open a new one and do it correctly. Thanks you for your assistance and continued patience with me on this.

[makermelissa]

It looks like you successfully changed the board_id back. If you go to the file changes tab on this request, you can see which changes would be made by merging it. It currently shows no changes to the board_id, which is what we want.

[Timeline8]

Ok I applied your changes (oddly gives an error but then when I went back in apparently it took. Now under files changes it says "File renamed without changes" which is what we were aiming for, correct?

I may be slow but I get there eventually. 😎

[makermelissa]

Perfect. Thank you!