diff .hgtags @ 6625:e3cf5f68da1c

rewind: opts is guaranteed to have the required keys, access them directly This helps pytype see that they aren't optional, and now it no longer complains that None doesn't have `append` method.
author Anton Shestakov <av6@dwimlabs.net>
date Sun, 31 Dec 2023 17:42:02 -0300
parents 9d9f226dff14
children 4c8c6f4ac590
line wrap: on
line diff