In the Agno README under the section "configure MCP secrets" it says to add my GitHub PAT to .mcp.env and has this snippet:

GITHUB_PERSONAL_ACCESS_TOKEN=your_token_here

However, when I look at .mcp.env.example the format for the GitHub PAT is the following:

github.personal_access_token=ghp_XXXXX

I am unclear which to use. I copied the .mcp.env.example file to .mcp.env and added my PAT to the entry in the file and it worked. I suppose that is the correct way to configure it?