Skip to content

Conversation

@teo-tsirpanis
Copy link
Contributor

There are no longer project.json files in this repository.

There are no longer `project.json` files in this repository.
@ghost ghost added community-contribution Indicates that the PR has been added by a community member area-Infrastructure-libraries and removed community-contribution Indicates that the PR has been added by a community member labels Dec 16, 2021
@ghost
Copy link

ghost commented Dec 16, 2021

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

Issue Details

There are no longer project.json files in this repository.

Author: teo-tsirpanis
Assignees: -
Labels:

area-Infrastructure-libraries

Milestone: -

Copy link
Member

@danmoseley danmoseley left a comment

Choose a reason for hiding this comment

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

Thanks!

@danmoseley danmoseley merged commit 0f2268d into dotnet:main Dec 17, 2021
@danmoseley
Copy link
Member

danmoseley commented Dec 17, 2021

@maryamariyan another bot label fight. Maybe one of them should have a delay between PR open event and reading the existing labels on it.

@teo-tsirpanis teo-tsirpanis deleted the patch-1 branch December 17, 2021 09:39
@ghost ghost locked as resolved and limited conversation to collaborators Jan 16, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants