| 20:23 | <bakkot> | changed my mind on pluralizing [[UnderlyingIterators]] |
| 20:23 | <bakkot> | it's not just the name of the slot, it's what it stores |
| 20:23 | <bakkot> | currently it's just a single value |
| 20:23 | <bakkot> | making it into a list, when it can only have one thing in it (for the moment) is a ibgger change |
| 20:24 | <bakkot> | so now I'm with shu in thinking we should wait until we need it to be plural |
| 23:17 | <bakkot> | looks like the IPR check script is acting up again |
| 23:19 | <bakkot> | ... CI should probably be defensive against people renaming their accounts, if possible |
| 23:19 | <bakkot> | like can we just commit a list of account names -> ids, or something? |
| 23:21 | <ljharb> | i just pushed up a commit to fix that for this specific dude |
| 23:22 | <ljharb> | the problem is that the github form has a username, and not an ID |
| 23:22 | <ljharb> | and the check needs to run on a PR whose commit ID will change |
| 23:23 | <ljharb> | so i suppose what i'd have to do is make a cron job that scrapes the google sheet, and converts that to a file that caches the account ID, and commit that to a branch; and then the IPR check can use the cache file instead of the google sheet to check who's signed? |
| 23:32 | <Michael Ficarra> | why not just ask them to input their ID in the form instead? |
| 23:32 | <Michael Ficarra> | https://api.github.com/users/michaelficarra |
| 23:32 | <Michael Ficarra> | 218840 |
| 23:33 | <Michael Ficarra> | that took all of 5 seconds |