mirror/RSS-Bridge.rss-bridge
1
0
Fork 0
mirror of https://github.com/RSS-Bridge/rss-bridge.git synced 2025-08-31 07:09:34 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

remove unnecessary includes

Browse source
This commit is contained in:
Dag 2022-05-13 09:35:25 +02:00
parent f00f90328d
commit 4d069fcf99
14 changed files with 2 additions and 39 deletions
Download patch file Download diff file Expand all files Collapse all files

2
bridges/GithubPullRequestBridge.php
View file

@ -1,5 +1,5 @@
<?php
require_once('GithubIssueBridge.php');
class GitHubPullRequestBridge extends GithubIssueBridge {
const MAINTAINER = 'Yaman Qalieh';
const NAME = 'GitHub Pull Request';