Re: [DISCUSS] Delete useless branches from Flink repository

[Leonard Xu]

> Actually I double checked it and the default branch on jenkins is `master`.

Great, I’ve deleted benchmark-request branch. Now, our repo looks better.

Best,
Leonard