eden-emu/eden
14
3
Fork 4
Code Issues 3 Pull requests 3 Projects Releases 2 Packages Wiki Activity Actions 2

ci: Populate patreon PRs on public repository

Browse source
This commit is contained in:
Zach Hilman 2019-09-30 09:29:28 -04:00
parent e11afeb34d
commit e6f3aad84e
3 changed files with 13 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
.ci/scripts/merge/apply-patches-by-label.py
View file

@ -3,7 +3,7 @@
import requests, sys, json, urllib3.request, shutil, subprocess, os
tagline = os.getenv("MergeTaglinePublic".upper(), "")
tagline = sys.argv[2]
http = urllib3.PoolManager()
dl_list = {}