Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[WIP] Merge Fetch15 branch #1236

Closed
wants to merge 324 commits into from
Closed

Conversation

knorth55
Copy link
Member

@knorth55 knorth55 commented Jul 24, 2020

Move from #1152
Current fetch15 branch.
This branch have these features follows;

Go to kitchen

Others

Upstream depencency

New package dependency

Merged

cc. @708yamaguchi @sktometometo @mqcmd196 @tkmtnt7000

@knorth55
Copy link
Member Author

Fetch15のMelodic対応をマージしました.
knorth55#60

@knorth55
Copy link
Member Author

I rebase this PR to origin/master.
@708yamaguchi can you check this PR and split into several PRs if you find forgetting commits?

@knorth55 knorth55 force-pushed the fetch15 branch 2 times, most recently from 96b9192 to 11a2b1c Compare July 19, 2021 15:46
@knorth55
Copy link
Member Author

@708yamaguchi @sktometometo @mqcmd196 can you help me to split this one PR to several PRs?
some commits are not submitted as PRs.
we cannot miss this chance!

@708yamaguchi
Copy link
Member

thank you very much for your work!
I send PRs with you.

@knorth55
Copy link
Member Author

this PR is moved to #1593

@knorth55 knorth55 closed this Sep 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

9 participants