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.

Sign up for GitHub

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

Jump to bottom

Speedup with parallel mars requests #32

Draft
wants to merge 15 commits into
base: operational
Choose a base branch
from
Draft

Speedup with parallel mars requests #32

wants to merge 15 commits into from

Conversation

gisi90
Copy link
Contributor

@gisi90 gisi90 commented May 18, 2022

No description provided.

@gisi90 gisi90 requested a review from joernu76 May 18, 2022 07:57
@joernu76
Copy link
Member

a) There was an ancient PR, which wasn't merged. Sorry, I assumed you'd press the button. This causes now conflicts.
b) I assume this is way faster in processing. However, I am very unhappy w.r.t. to maintainability. The copy-pasting of all the shell-scripts gives fast results, but may cause a lot of issues at a later point in time, when changes have to be applied to a dozen places, instead of one central point.
We can put it here as it is, but not as the main-branch, which should more serve as a simple-to-understand exemplary flow.
Yours is an operational flow, which is necessarily more complicated.

@joernu76 joernu76 changed the base branch from main to operational July 13, 2023 11:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@joernu76 joernu76 Awaiting requested review from joernu76

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gisi90 @joernu76