Create tags with bot account

[BigLep]

Done Criteria

Lotus release automation uses a bot to create the tag

Why Important

Not that important, but it causes confusion when a release goes out and @galargh's name is tied to it (latest example).

User/Customer

Mostly this is for maintainers

Notes

1. This happens because CI uses @galargh token because we have protection rules on tag creation and we can only allow-list actual users, not apps.
2. The secret we need to update is TAG_CREATE_GITHUB_TOKEN
3. We need a bot account with these permissions:
   

Tasks

Preview Give feedback

Tasklists will be sunset on April 30th, 2025

We encourage you to migrate your issue tasklist items to sub-issues. Learn more in our Changelog.

1. Create filoz-bot account
2. Add filoz-bot account to filecoin-project
3. Create personal access token
4. Update secret TAG_CREATE_GITHUB_TOKEN

[BigLep]

@rjan90 : I can take this unless you have already started on it. I would do the tasks listed in the issue description.

Cc @jennijuju since you were asking about this recently.

[galargh]

If you have any further questions about this, please let me know :)

[BigLep]

@FilOzzy lives: https://github.com/FilOzzy

Added to filecoin-project: filecoin-project/github-mgmt#96

Created PAT matching screenshot above:

https://github.com/settings/personal-access-tokens

Updated TAG_CREATE_GITHUB_TOKEN:

https://github.com/filecoin-project/lotus/settings/secrets/actions

[BigLep]

I'm marking this as resolved since all known steps are complete. We'll find out in the next Lotus release whether I messed anything up by looking at #fil-lotus-announcements during the next release.

[BigLep]

Also, for visibility, the FilOzzy GitHub credentials are in FilOz's Infra 1password vault.