devguide-git bot

[matrixise]

Hi Brett,

I know this issue is not related to the devguide, but to a robot used by github.

When devguide-git push a message to #python-dev, the http url is not complete. There is only "http" and nothing else. I don't know where is the code of devguide-git, but could you try to fix it or how can we fix it ?

< devguide-git> [devguide] brettcannon commented on issue #59: Why do you want to merge 
`github` into `master` except when we are done with the `github` branch? Wouldn't it be easier 
to merge `master` into `github` (which is what I have been doing on occasion)? Most of the 
changes in `master` are spelling mistakes and such while all the churn is in `github`, so I would 
think we would want to merge from calm to crazy and not the other way around. http

Thank you

[bitdancer]

That looks like truncation of some sort. The url is normally a complete shortened url.

But the answer is no, we can't fix the github bot. We could use a different bot, though, if someone wants to decide which one.

[matrixise]

Hi @bitdancer,

so in this case, we can't fix it, fortunately, we have the number of the issue in the message.
But where can I find this bot or read the configuration ?

Thank you

[brettcannon]

It's just the IRC integration that GitHub provides.

[matrixise]

I am closing this issue because it's a bug with the github bot.