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

Fixed link to PR guide in CONTRIBUTING.md #85876

Merged
merged 1 commit into from
May 7, 2023
Merged

Conversation

abatishchev
Copy link
Contributor

@abatishchev abatishchev commented May 6, 2023

docs/workflow/pr-guide.md -> docs/workflow/ci/pr-guide.md.

@ghost ghost added the community-contribution Indicates that the PR has been added by a community member label May 6, 2023
@ghost
Copy link

ghost commented May 6, 2023

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

Issue Details

null

Author: abatishchev
Assignees: -
Labels:

area-Meta

Milestone: -

Copy link
Member

@jkotas jkotas left a comment

Choose a reason for hiding this comment

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

Thanks!

@jkotas jkotas merged commit 3b88700 into dotnet:main May 7, 2023
@abatishchev abatishchev deleted the patch-1 branch May 7, 2023 00:13
@danmoseley
Copy link
Member

I thought we ran markdown lint to catch these..

@ghost ghost locked as resolved and limited conversation to collaborators Jun 6, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-Meta community-contribution Indicates that the PR has been added by a community member
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants