Xavier Morel 5f8041552b [FIX] forwardport: apparently git/refs/heads can fuzzy-match ... If the ref we asked for does not exist, github apparently decides to fall-back to prefix-matching. So if we're trying to delete already-deleted branch A and someone called their branch A-x we're going to get it as a result. Thankfully they were apparently smart enough to return a list even if there's only a single fuzzy match. So if we get a list (instead of a dict) as response to git/refs/heads assume the branch was already deleted as if we got a 404.		2019-10-18 11:22:13 +02:00
..
__init__.py	[ADD] forwardbot	2019-09-05 10:00:07 +02:00
forwardport.py	[FIX] forwardport: apparently git/refs/heads can fuzzy-match	2019-10-18 11:22:13 +02:00
project.py	[ADD] forwardport: automatic branch deleter	2019-10-17 11:55:20 +02:00