[
https://issues.apache.org/jira/browse/FLINK-11258?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Flink Jira Bot updated FLINK-11258:
-----------------------------------
Labels: auto-deprioritized-major auto-deprioritized-minor auto-unassigned
pull-request-available (was: auto-deprioritized-major auto-unassigned
pull-request-available stale-minor)
Priority: Not a Priority (was: Minor)
This issue was labeled "stale-minor" 7 days ago and has not received any
updates so it is being deprioritized. If this ticket is actually Minor, please
raise the priority and ask a committer to assign you the issue or revive the
public discussion.
> Add badge to the README
> -----------------------
>
> Key: FLINK-11258
> URL: https://issues.apache.org/jira/browse/FLINK-11258
> Project: Flink
> Issue Type: Improvement
> Components: Documentation
> Reporter: Fokko Driesprong
> Priority: Not a Priority
> Labels: auto-deprioritized-major, auto-deprioritized-minor,
> auto-unassigned, pull-request-available
> Time Spent: 20m
> Remaining Estimate: 0h
>
> I think we should add the badge to the docs to check if master is still happy.
--
This message was sent by Atlassian Jira
(v8.20.1#820001)
