48 | Bors
49 |
50 | Repositories
51 |
52 | {% for repo in repos %}
53 | -
54 | {{ repo.name }}
55 | {% if repo.treeclosed %} [TREECLOSED] {% endif %}
56 |
57 | {% endfor %}
58 |
59 |
60 | Commands
61 | Commands must be posted as comments on the PR and mention the bot account ({{ cmd_prefix
62 | }}).
63 |
64 | {{ help | safe }}
65 |
66 |
69 |
70 | {% endblock %}
71 |
--------------------------------------------------------------------------------
/.sqlx/query-070fd5babee0d508900290c872bd9247855b9712d6633c1dc3683751941749b1.json:
--------------------------------------------------------------------------------
1 | {
2 | "db_name": "PostgreSQL",
3 | "query": "\n SELECT\n id,\n repository as \"repository: GithubRepoName\",\n pr_number as \"pr_number: i64\",\n tag as \"tag: CommentTag\",\n node_id,\n created_at as \"created_at: DateTime