I would say that with this updated news the NeverTrump movement is officially dead, at least for the Convention:
Republicans responsible for setting the party's presidential nomination rules on Thursday overwhelmingly rejected attempts to formally unbind delegates to next week's convention, effectively ending any serious attempt to rob Donald Trump of the GOP presidential nomination.
A vote came quickly Thursday night as part of a day-long marathon session of the Republican National Convention's rules committee, which sets the rules of the meetings and how the party will pick its nominee in 2020.
The rejection of the "unbinding" proposal was so overwhelming that committee leaders opted not to record the tally. Trump supporters on the committee quickly exercised procedural tactics to effectively kill any attempt to revive the issue -- and to codify that delegates are indeed bound to vote for the results of state caucuses and primaries.
https://www.washingtonpost.com/news/post-politics/wp/2016/07/14/as-trump-prepares-to-unveil-vp-pick-republican-delegates-scramble-to-ward-off-rules-revolt/
