Sign the workbook: Tejas Rastogi

[Tejasrastogi]

Signing the workbook

Name: Tejas Rastogi
GitHub username: @Tejasrastogi

Checklist

• I worked on a branch (sign/<username>), not on main
• Files changed shows exactly one file: signatures/tejasrastogi.md
• The - **GitHub:** @username line matches my account
• I read the README steps top to bottom

Which step did you have to look up?

I had to look up the repository's signature template and the required GitHub line format.

[github-actions]

Hi @Tejasrastogi 👋 thanks for signing the workbook! The check found a problem:

• Your file must be named exactly signatures/Tejasrastogi.md — your GitHub username, capitals included. Yours is signatures/tejasrastogi.md. Fix it with: git mv "signatures/tejasrastogi.md" signatures/Tejasrastogi.md

How to fix it (in your clone, on the same branch as this PR):

# fix the file as described above, then:
git add -A
git commit -m "Fix signature"
git push

Your file should look like:

# Your Real Name

- **GitHub:** @Tejasrastogi
- **Batch:** 2026
- **I'm here to:** your own line
- **One thing I've built:** a link, or nothing yet

Push to this same PR. Don't open a new one. This comment updates itself each time the check re-runs.