remove push_head, push_sorted, pop_head by dhalbert · Pull Request #71 · adafruit/Adafruit_CircuitPython_asyncio