Problem with type `int`

[src-d]

Problem with type `int`

[erizocosmico]

We were using services branch as a "development" branch until all the pending issues and the gRPC services implementation were finished. It should be finished today or tomorrow and we'll merge it into master.

[Serabe]

We can error if we see type int that user should change it to int32 or int64.

[erizocosmico]

This was fixed, right?

[Serabe]

Yes, but since we are using services it is not closed automagically.

[dmitshur]

What are you referring to with services?

[Serabe]

services branch.

[dmitshur]

I see.

I'm not familiar with the details, so this suggestion might be off base, but have you considered making that branch the default branch of this repository? If you're using it that way.

Then, when a PR merged into services branch says "fixes" some issue, it will get closed by github.

It would affect go get, so perhaps you don't want to do it.