To help with Git for Windows' maintenance, let's relieve human operators from the mental burden to remember at all times to add the appropriate milestone when closing a component-update ticket by merging the respective PR.