GitHub <-> GitLab integration supporter, interactive bot.
GitLab has a GitLab CI/CD for GitHub, but it lacks some functionality, this bot fixes it.
gh_auto_merge_pr
Merge Pull Request if GitLab CI passed, no conflicts found,
has required label and author in white list.
Suboptions: authors_white_list (default: your login and your bot login),
delay (default: 60 sec), required_label_name (default: auto-merge), …
gh_show_gitlab_ci_fail
Post comment with GitLab CI fail-report in PR’s thread.
Suboptions: max_lines (default: 25).
gh_gitlab_ci_for_external_pr
Enable GitLab CI for external Pull Requests.
gl_auto_cancel_pipelines
Cancel all prevarious Pipelines with the same branch, if started new one.
gl_auto_delete_branches
Delete branch in GitLab when she deleted in GitHub.
gl_delete_pipeline_btn
With userscript add delete buttons on Pipelines list page in gitlab.com.
Settings stores in JSON file and environ variables. Path to settings file passes by first positional
argument, default is ./hublabbot.json. See more in HubLabBotSettings documentation.
My HubLabBot instance - config, GitHub profile, Heroku instance.
See RELEASING.org.
Except 
and 
from Google Note Emoji, their license Apache 2.0.