Skip to content

[UsenixBridge] Add bridge#2800

Merged
dvikan merged 2 commits intoRSS-Bridge:masterfrom
yamanq:usenix
Jun 9, 2022
Merged

[UsenixBridge] Add bridge#2800
dvikan merged 2 commits intoRSS-Bridge:masterfrom
yamanq:usenix

Conversation

@yamanq
Copy link
Contributor

@yamanq yamanq commented Jun 9, 2022

Revival of #2772 implementing full bridge request (#2741)

@github-actions
Copy link

github-actions bot commented Jun 9, 2022

Pull request artifacts

file last change
Usenix-pr-context1 2022-06-09, 03:08:50

@dvikan dvikan merged commit 3927ecd into RSS-Bridge:master Jun 9, 2022
@yamanq yamanq deleted the usenix branch June 9, 2022 15:00
@yamanq
Copy link
Contributor Author

yamanq commented Jun 9, 2022

When squashing commits, make sure not to delete Co-authored-by on the last line of the extended commit message so that all authorship is shown.

IAM-marco pushed a commit to IAM-marco/rss-bridge that referenced this pull request Jun 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants