miles

`tg://user?id={user_id}` is for mentioning a user. I cannot find how to mention chat on the Telegram doc.

I can work on this if no one wants to take over.

I have one question left to implement this. Should I change `mention_html` in `python-telegram-bot/telegram/helpers.py` ```python def mention_html(user_id: Union[int, str], name: str) -> str ``` to ```python def mention_html(user_id: Union[int, str],...

Could you mind helping clarify where the `name` and `expected_output` are in the `evm-benchmarks` JSON State Test format?

> Not find an option for prune history. Currently I delete manually use the following sql (I don't need the directory filter, add cwd to the group by section if...

Have you found a workaround?

I would like to work on this. Would you mind giving more context?

How should I consider a markdown header a valid target? If I use `teaxyz/cli README.md` as a sample, it will treat `treattea/cli 0.13.0` as a target, but the code block...

Would it be a good idea to use code block language? ```md # TargetName Description of this target’s purpose. \`\`\`tea the commands the target runs \`\`\` ``` The downside is...

How about extending the language specification to something like `{tea language='sh'}` or ``? ```md ## TargetName Description of this target’s purpose. \`\`\`{tea language=sh} echo "Hello World" \`\`\` ``` Alternatively, a...