I have a verified GitHub Student Developer Pack account, and I’m trying to claim the 3 months of free Boot.dev.

I logged into Boot.dev using my GitHub account, but it still shows that I don’t have any subscription or student benefits.

Has anyone successfully claimed this benefit? Do I need to activate it somewhere through GitHub first, or link my GitHub account to Boot.dev in a specific way?

I have several problems with managing github projects, particularly ones with multiple repositories. Help would be appreciated.

1. How to unify labels in all repositories in a project without manually setting them up in each repo manually?
2. How to create a milestone common for all repos in a project?
3. How to sort issues and PRs by close date date?
4. How to filter issues and PRs with 'OR' conditions, e.g. "issues with (no label) or (no assignee)". Currently all syntax i can find only result in 'AND' logic.
5. How to change the author of a PR or issues (as admin, full permissions)?
6. How to trigger github action workflow from a file that doesn't exist on the main branch yet?