[ https://issues.apache.org/jira/browse/FLINK-9180?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=16440249#comment-16440249 ]
ASF GitHub Bot commented on FLINK-9180: --------------------------------------- Github user zhangminglei commented on the issue: https://github.com/apache/flink/pull/5857 @lamber-ken You push your code to the incorrect jira number, flink-9180. But it is not relevant to your issue. you can check this out : https://issues.apache.org/jira/browse/FLINK-9180. > Remove REST_ prefix from rest options > ------------------------------------- > > Key: FLINK-9180 > URL: https://issues.apache.org/jira/browse/FLINK-9180 > Project: Flink > Issue Type: Improvement > Components: Configuration, REST > Affects Versions: 1.5.0 > Reporter: Chesnay Schepler > Assignee: mingleizhang > Priority: Critical > Fix For: 1.5.0 > > > Several fields in the {{RestOptions}} class have a {{REST_}} prefix. So far > we went with the convention that we do not have such prefixes if it already > contained in the class name, hence we should remove it from the field names. -- This message was sent by Atlassian JIRA (v7.6.3#76005)