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

Add Start Time Tracking for Managers and Update ManagerRecord on Registration #3546

Merged
merged 1 commit into from
Jul 26, 2024

Conversation

matthewc2003
Copy link
Contributor

Description

Managers now record their start time and forward this information to the interchange during registration. The ManagerRecord was updated to support this functionality. Adding this will allow for better manager selection by the interchange in the future.

Changed Behaviour

No changes

Fixes

Fixes # (issue)

Part of project outlined by issue 3323

Choose which options apply, and delete the ones which do not apply.

  • New feature

…during registration, update ManagerRecord accordingly
@benclifford benclifford merged commit b96a2dd into Parsl:master Jul 26, 2024
7 checks passed
@benclifford
Copy link
Collaborator

benclifford commented Jul 26, 2024

ok. I update the commit title (which github uses rather than the PR title) when merging to be imperative (see general opinions https://www.google.com/search?q=commit+message+imperative+form&oq=commt+message+imperative+form )

... and shorter with the rest being the description you provided in the PR body.

@yadudoc
Copy link
Member

yadudoc commented Jul 26, 2024

@benclifford Got to this one before me, and I see this one is merged. Good job on getting this done @matthewc2003 :)

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.

3 participants