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

Uses task name instead of task_id as job identifier for MR #1868

Merged
merged 1 commit into from
Sep 27, 2016

Conversation

daveFNbuck
Copy link
Contributor

Description

Uses task name instead of task_id as job identifier for MR

Motivation and Context

It's much more useful to see MyTask(param=value) in the job tracker rather than MyTask_value_abf1238eb238eb1832, especially when the latter form usually removes most of the useful information for figuring out which task is which. Since changing the task id format, we're no longer intending for task ids to be human-readable, and this is a context where we want something human-readable.

Have you tested this? If so, how?

I updated the unit tests and ran MRs with this code to validate that their names are now human-readable.

It's much more useful to see MyTask(param=value) in the job tracker rather
than MyTask_value_abf1238eb238eb1832, especially when the latter form
usually removes most of the useful information for figuring out which task
is which.
@mention-bot
Copy link

@daveFNbuck, thanks for your PR! By analyzing the annotation information on this pull request, we identified @Tarrasch, @interskh and @mvj3 to be potential reviewers

@Tarrasch Tarrasch merged commit 6950104 into spotify:master Sep 27, 2016
@Tarrasch
Copy link
Contributor

Thanks!

@daveFNbuck daveFNbuck deleted the better_mr_job_names branch June 2, 2017 00:01
This was referenced Jun 29, 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.

3 participants