Skip to content

Conversation

@akarnokd
Copy link
Collaborator

There is no reason to initialize the _count to its default zero value.

@danielcweber
Copy link
Collaborator

Will merge as soon as this WIP-bot becomes alive again....

@danielcweber danielcweber changed the title 4.x: LongCount() don't init to default zero WIP 4.x: LongCount() don't init to default zero Jun 28, 2018
@danielcweber danielcweber changed the title WIP 4.x: LongCount() don't init to default zero 4.x: LongCount() don't init to default zero Jun 28, 2018
@akarnokd
Copy link
Collaborator Author

So GitHub doesn't even allow you to merge until the WIP status is okay?

@danielcweber
Copy link
Collaborator

Nope. It's required and apparently the service doesn't answer.

@akarnokd akarnokd closed this Jun 28, 2018
@akarnokd akarnokd reopened this Jun 28, 2018
@danielcweber
Copy link
Collaborator

According to this it's not down...

@akarnokd
Copy link
Collaborator Author

Maybe it caches and reopening is not enough.

@danielcweber
Copy link
Collaborator

Updating the branch didn't help either.

@akarnokd akarnokd changed the title 4.x: LongCount() don't init to default zero [WIP] 4.x: LongCount() don't init to default zero Jun 28, 2018
@akarnokd akarnokd changed the title [WIP] 4.x: LongCount() don't init to default zero 4.x: LongCount() don't init to default zero Jun 28, 2018
@akarnokd
Copy link
Collaborator Author

I've renamed the PR to [WIP], then renamed it back and now the WIP service seems to be working again.

@danielcweber danielcweber merged commit 15866f2 into dotnet:master Jun 28, 2018
@akarnokd akarnokd deleted the LongCountCleanup branch June 28, 2018 15:21
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