Skip to content

[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901

Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed

[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Conversation

@dotnet-maestro-bot

@dotnet-maestro-botdotnet-maestro-bot commented Sep 1, 2022

Copy link
Copy Markdown
Contributor

I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.

This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:

  • alexperovich

Instructions for merging from UI

This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.

merge button instructions

If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.

Instructions for merging via command line

Run these commands to merge this pull request from the command line.

git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch

git push

Instructions for resolving conflicts

⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.

Instructions for updating this pull request

Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.

git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.
Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.

@ghost

ghost commented Sep 1, 2022

Copy link
Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries
See info in area-owners.md if you want to be subscribed.

Issue Details

I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.

This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:

  • alexperovich

Instructions for merging from UI

This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.

merge button instructions

If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.

Instructions for merging via command line

Run these commands to merge this pull request from the command line.

git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch

git push

Instructions for resolving conflicts

⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.

Instructions for updating this pull request

Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.

git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.
Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.

Author:dotnet-maestro-bot
Assignees:-
Labels:

area-Infrastructure-libraries

Milestone:-

@carlossanlop

carlossanlop commented Sep 1, 2022

Copy link
Copy Markdown
Contributor

Reminder to use "merge commit" on this one.

@ViktorHofer

ViktorHofer commented Sep 1, 2022

Copy link
Copy Markdown
Member

This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.

@ViktorHoferViktorHofer mentioned this pull request Sep 1, 2022
Closed
@ghostghost locked as resolved and limited conversation to collaborators Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

1 more reviewer
@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

area-Infrastructure-libraries

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich
, 'i'); if (__m === '*' || __re.test(location.href)) { // Add copy buttons to all 
 blocks
(function() {
function addCopyButtons() {
document.querySelectorAll('pre code').forEach(function(codeBlock) {
if (codeBlock.parentElement.hasAttribute('data-copy-added')) return;
codeBlock.parentElement.setAttribute('data-copy-added', 'true');
var btn = document.createElement('button');
btn.textContent = 'Copy';
btn.style.cssText = 'position:absolute;top:4px;right:4px;padding:2px 8px;font-size:11px;background:#4ecdc4;border:none;border-radius:4px;color:#1a1a2e;cursor:pointer;opacity:0.7;transition:opacity 0.2s;';
btn.onmouseover = function() { this.style.opacity = '1'; };
btn.onmouseout = function() { this.style.opacity = '0.7'; };
btn.onclick = function() {
navigator.clipboard.writeText(codeBlock.textContent).then(function() {
btn.textContent = 'Copied!';
setTimeout(function() { btn.textContent = 'Copy'; }, 1500);
});
};
codeBlock.parentElement.style.position = 'relative';
codeBlock.parentElement.appendChild(btn);
});
}
addCopyButtons();
// Re-run on dynamic content
var observer = new MutationObserver(addCopyButtons);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Add Copy Buttons to Code Blocks]', __e); }
})();
(function(){
try {
var __m = "github.com";
var __re = new RegExp('^' + "github\\.com" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Force GitHub README to respect dark mode
(function() {
var style = document.createElement('style');
style.textContent = '
.markdown-body {
color-scheme: dark light;
}
.markdown-body pre { background: #161b22 !important; }
.markdown-body code { background: rgba(110, 118, 129, 0.4) !important; }
.markdown-body table th, .markdown-body table td { border-color: #30363d !important; }
.markdown-body img { background: #0d1117; }
.markdown-body blockquote { border-left-color: #8b949e; }
.markdown-body hr { border-color: #30363d; }
';
document.head.appendChild(style);
})();
}
} catch(__e) { console.warn('[Userscript:GitHub Dark Mode README Fix]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Highlight search terms from Google/DuckDuckGo/Bing referrer
(function() {
var ref = document.referrer;
var terms = [];
if (ref.includes('google.com') || ref.includes('duckduckgo.com') || ref.includes('bing.com')) {
var url = new URL(ref);
var q = url.searchParams.get('q') || url.searchParams.get('p');
if (q) {
terms = q.split(/\s+/).filter(function(t) { return t.length > 2; });
}
}
if (terms.length === 0) return;
var style = document.createElement('style');
style.textContent = '.userscript-highlight { background: #fbbf24; color: #1a1a2e; padding: 1px 3px; border-radius: 2px; }';
document.head.appendChild(style);
function highlight(node) {
if (node.nodeType === 3) { // text node
var text = node.textContent;
var found = false;
terms.forEach(function(term) {
var regex = new RegExp('(' + term.replace(/[.*+?^${}()|[\]\\]/g, '\\') + ')', 'gi');
if (regex.test(text)) {
found = true;
var frag = document.createDocumentFragment();
var parts = text.split(regex);
parts.forEach(function(part, i) {
if (i % 2 === 0) {
frag.appendChild(document.createTextNode(part));
} else {
var span = document.createElement('span');
span.className = 'userscript-highlight';
span.textContent = part;
frag.appendChild(span);
}
});
node.parentNode.replaceChild(frag, node);
}
});
} else if (node.nodeType === 1 && node.childNodes) { // element
var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT'];
if (!skipTags.includes(node.tagName)) {
Array.from(node.childNodes).forEach(highlight);
}
}
}
highlight(document.body);
// Re-highlight on dynamic content
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1 || node.nodeType === 3) highlight(node);
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Strip utm_, fbclid, gclid, etc. from all links on page
(function() {
var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content',
'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid',
'ref', 'ref_src', 'source', 'medium', 'campaign'];
function cleanUrl(url) {
try {
var u = new URL(url, window.location.origin);
var changed = false;
trackingParams.forEach(function(p) {
if (u.searchParams.has(p)) {
u.searchParams.delete(p);
changed = true;
}
});
return changed ? u.toString() : url;
} catch (e) {
return url;
}
}
function cleanLinks() {
document.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
cleanLinks();
var observer = new MutationObserver(function(mutations) {
mutations.forEach(function(m) {
m.addedNodes.forEach(function(node) {
if (node.nodeType === 1) {
if (node.tagName === 'A') cleanLinks();
node.querySelectorAll('a[href]').forEach(function(a) {
var clean = cleanUrl(a.href);
if (clean !== a.href) a.href = clean;
});
}
});
});
});
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); }
})();
(function(){
try {
var __m = "youtube.com";
var __re = new RegExp('^' + "youtube\\.com" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Auto-enable theater mode on YouTube
(function() {
function tryTheater() {
var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]');
if (btn && !btn.classList.contains('activated')) {
btn.click();
}
}
// Try immediately
tryTheater();
// Try after navigation (SPA)
var lastUrl = location.href;
setInterval(function() {
if (location.href !== lastUrl) {
lastUrl = location.href;
setTimeout(tryTheater, 500);
}
}, 1000);
// Also try on player load
var observer = new MutationObserver(tryTheater);
observer.observe(document.body, { childList: true, subtree: true });
})();
}
} catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Remove or un-stick sticky/fixed headers that block content
(function() {
function unstick() {
document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) {
if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') {
el.style.position = 'static';
el.style.top = 'auto';
el.style.zIndex = 'auto';
}
});
}
unstick();
var observer = new MutationObserver(unstick);
observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] });
})();
}
} catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); }
})();
(function(){
try {
var __m = "*";
var __re = new RegExp('^' + ".*" + '
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich

, 'i');
if (__m === '*' || __re.test(location.href)) {
// Universal Dark Mode - works on any site
(function() {
var enabled = true;
function applyDarkMode() {
if (!enabled) return;
// Create style element if it doesn't exist
var style = document.getElementById('universal-dark-mode-style');
if (!style) {
style = document.createElement('style');
style.id = 'universal-dark-mode-style';
document.head.appendChild(style);
}
// Dark mode CSS - inverts colors but preserves images/video
style.textContent = '
/* Invert everything except media */
html {
filter: invert(1) hue-rotate(180deg) !important;
background: #1a1a2e !important;
}
/* Restore images, videos, iframes, canvas */
img, video, iframe, canvas, svg, picture, [style*="background-image"] {
filter: invert(1) hue-rotate(180deg) !important;
}
/* Preserve specific elements that should not be inverted */
.no-dark-mode, .no-dark-mode *,
[data-theme="light"], [data-theme="light"],
.ace_editor, .ace_editor *,
.CodeMirror, .CodeMirror *,
.monaco-editor, .monaco-editor *,
.markdown-body pre, .markdown-body pre *,
.highlight, .highlight *,
pre code, pre code * {
filter: none !important;
}
/* Fix common UI elements */
.modal, .popup, .dropdown-menu, .tooltip, .popover {
filter: invert(1) hue-rotate(180deg) !important;
background: #2d2d44 !important;
border-color: #444 !important;
}
/* Scrollbars */
::-webkit-scrollbar { background: #1a1a2e !important; }
::-webkit-scrollbar-thumb { background: #444 !important; }
::-webkit-scrollbar-thumb:hover { background: #555 !important; }
/* Selection */
::selection { background: #4ecdc4 !important; color: #1a1a2e !important; }
::-moz-selection { background: #4ecdc4 !important; color: #1a1a2e !important; }
';
}
function removeDarkMode() {
var style = document.getElementById('universal-dark-mode-style');
if (style) style.remove();
}
// Toggle with Alt+Shift+D
document.addEventListener('keydown', function(e) {
if (e.altKey && e.shiftKey && e.key === 'D') {
e.preventDefault();
enabled = !enabled;
if (enabled) {
applyDarkMode();
console.log('[Universal Dark Mode] Enabled');
} else {
removeDarkMode();
console.log('[Universal Dark Mode] Disabled');
}
}
});
// Apply on load
applyDarkMode();
// Re-apply on dynamic content
var observer = new MutationObserver(function(mutations) {
if (enabled && !document.getElementById('universal-dark-mode-style')) {
applyDarkMode();
}
});
observer.observe(document.head, { childList: true });
console.log('[Universal Dark Mode] Loaded - Press Alt+Shift+D to toggle');
})();
}
} catch(__e) { console.warn('[Userscript:Universal Dark Mode]', __e); }
})();
})();
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' by dotnet-maestro-bot · Pull Request #74901 · dotnet/runtime · GitHub
Skip to content
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0' - #74901
Closed
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Closed
[automated] Merge branch 'release/7.0-rc1-publicPoolNames' => 'release/7.0'#74901
dotnet-maestro-bot wants to merge 1 commit into
dotnet:release/7.0from 
dotnet-maestro-bot:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
Conversation
@dotnet-maestro-bot
@dotnet-maestro-botdotnet-maestro-bot
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
@ghost
ghost
commented
Sep 1, 2022

Copy link


Copy Markdown

Tagging subscribers to this area: @dotnet/area-infrastructure-libraries

See info in area-owners.md if you want to be subscribed.
Issue Details
I detected changes in the release/7.0-rc1-publicPoolNames branch which have not been merged yet to release/7.0. I'm a robot and am configured to help you automatically keep release/7.0 up to date, so I've opened this PR.
This PR merges commits made on release/7.0-rc1-publicPoolNames by the following committers:
  • alexperovich
Instructions for merging from UI
This PR will not be auto-merged. When pull request checks pass, complete this PR by creating a merge commit, not a squash or rebase commit.
merge button instructions
If this repo does not allow creating merge commits from the GitHub UI, use command line instructions.
Instructions for merging via command line
Run these commands to merge this pull request from the command line.
git fetch
git checkout release/7.0-rc1-publicPoolNames
git pull --ff-only
git checkout release/7.0
git pull --ff-only
git merge --no-ff release/7.0-rc1-publicPoolNames
# If there are merge conflicts, resolve them and then run git merge --continue to complete the merge# Pushing the changes to the PR branch will re-trigger PR validation.
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0
or if you are using SSH
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

After PR checks are complete push the branch
git push

Instructions for resolving conflicts
⚠️ If there are merge conflicts, you will need to resolve them manually before merging. You can do this using GitHub or using the command line.
Instructions for updating this pull request
Contributors to this repo have permission update this pull request by pushing to the branch 'merge/release/7.0-rc1-publicPoolNames-to-release/7.0'. This can be done to resolve conflicts or make other changes to this pull request before it is merged.
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull https://github.com/dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push https://github.com/dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

or if you are using SSH
git checkout -b merge/release/7.0-rc1-publicPoolNames-to-release/7.0 release/7.0
git pull git@github.com:dotnet-maestro-bot/runtime merge/release/7.0-rc1-publicPoolNames-to-release/7.0
(make changes)
git commit -m "Updated PR with my changes"
git push git@github.com:dotnet-maestro-bot/runtime HEAD:merge/release/7.0-rc1-publicPoolNames-to-release/7.0

Contact .NET Core Engineering if you have questions or issues.

Also, if this PR was generated incorrectly, help us fix it. See https://github.com/dotnet/arcade/blob/master/scripts/GitHubMergeBranches.ps1.
Author:dotnet-maestro-bot
Assignees:-
Labels:
area-Infrastructure-libraries
Milestone:-
@carlossanlop
carlossanlop
commented
Sep 1, 2022

Copy link


Copy Markdown

Contributor
Reminder to use "merge commit" on this one.
@ViktorHofer
ViktorHofer
commented
Sep 1, 2022

Copy link


Copy Markdown

Member
This isn't a branch that we want to merge into release/7.0. The fix that this branch is bringing in will be flowing into release/7.0 as #74906 is already merged into release/7.0-rc1.
@ViktorHoferViktorHofer
mentioned this pull request
Sep 1, 2022
 Closed

@ghostghost
locked as resolved and limited conversation to collaborators
Oct 1, 2022
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.


Reviewers


1 more reviewer

@carlossanlopcarlossanlopcarlossanlop approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees


No one assigned


Labels

area-Infrastructure-libraries

Projects


None yet


Milestone


No milestone


Development

Successfully merging this pull request may close these issues.

4 participants

@dotnet-maestro-bot@carlossanlop@ViktorHofer@alexperovich