Bummer. Digital Ocean wrote back saying that right now, they're not sure they'll be able to count any PR opened before Oct 1st.