Skip to content

Add user_id, jenkins_url tag#46

Merged
gzussa merged 7 commits into
masterfrom
gzu/user_id_tag
Feb 24, 2020
Merged

Add user_id, jenkins_url tag#46
gzussa merged 7 commits into
masterfrom
gzu/user_id_tag

Conversation

@gzussa

@gzussa gzussa commented Feb 19, 2020

Copy link
Copy Markdown
Contributor

What does this PR do?

Add user_id and jenkins_url tags on data being submitted whenever possible.
Also removed the branch tag since it is an unbounded value hence it has little benefit.
However I changed events to have the branch names whenever possible.
Also added other contextual infos on event messages.

Verification Process

See development doc.

Review checklist (to be filled by reviewers)

  • Feature or bug fix MUST have appropriate tests (unit, integration, etc...)
  • PR title must be written as a CHANGELOG entry (see why)
  • Files changes must correspond to the primary purpose of the PR as described in the title (small unrelated changes should have their own PR)
  • PR must have one changelog/ label attached. If applicable it should have the backward-incompatible label attached.
  • PR should not have do-not-merge/ label attached.
  • If Applicable, issue must have kind/ and severity/ labels attached at least.

…remove branch tag and updated some event messages with more contextual details
@github-actions github-actions Bot added the documentation Documentation related changes label Feb 20, 2020
@gzussa gzussa added the changelog/Changed Changed features results into a major version bump label Feb 21, 2020
Comment on lines +97 to +103
if(!tags.containsKey(name)){
values = new HashSet<>();
}else{
values = tags.get(name);
}
values.add(value);
tags.put(name, values);

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

let's have something simpler and more readable like

        if(!tags.containsKey(name)){
              tags.put(name, new HashSet<>());
          }
          tags.get(name).add(value);

@gzussa
gzussa merged commit 6d327f9 into master Feb 24, 2020
@gzussa
gzussa deleted the gzu/user_id_tag branch February 24, 2020 18:04
@gzussa gzussa changed the title Add user_id tag Add user_id, jenkins_url tag Feb 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/Changed Changed features results into a major version bump documentation Documentation related changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants