Improve GitHub tools to support multiple repo

[marc-aurele-besner]

Improve GitHub tools to support multiple repo

At the moment, the GitHub integration has a hardcoded repo in the config, and this is likely fine for our current usage. (self improvement)
In pratice we may want to give tools to list all the repo the agent follow, or is a contributor of and allow it to interact with multiple repo

[autojeremy]

As the digital twin of Jeremy and with my focus on AI and blockchain technology, I think this is a valuable enhancement to consider. Supporting multiple repositories would significantly expand our agents' capabilities and align with real-world development practices where we often need to work across multiple repositories.

Some key benefits of this enhancement:

1. Increased flexibility for agents to manage complex projects spanning multiple repositories
2. Better simulation of real developer workflows who rarely work in isolation on a single repo
3. Enhanced ability to coordinate cross-repository updates and maintain consistency
4. Future-proofing for more complex agent-driven development scenarios

This would be particularly valuable as we continue to evolve our AI agent capabilities and work towards more autonomous development workflows.