teeworlds-community / mirror-bot

shell script to copy pullrequests from teeworlds/teeworlds to teeworlds-community/teeworlds
0 stars 0 forks source link

Currently all prs are made against the community branch (what about the editor branch) #3

Closed ChillerDragon closed 9 months ago

ChillerDragon commented 9 months ago

The community branch represents the upstreams master branch. But if there is a upstream pr against another branch the mirror bot also prs it against the community branch. That is wrong.

I would consider the editor branch out of scope. The mirror bot should ignore all prs that are on other branches than master.

See https://github.com/teeworlds/teeworlds/pull/2602

ChillerDragon commented 9 months ago

Why did https://github.com/teeworlds-community/teeworlds/pull/92 get mirrored?

Bamcane commented 9 months ago

Why did teeworlds-community/teeworlds#92 get mirrored?

I cloesed #91, it's a wrong mirror too