| 01:01 | <Michael Ficarra> | Good name for an alias of type property key or Private Name? propertyName? |
| 02:49 | <Richard Gibson> | I might use just key. propertyName is more like https://tc39.es/ecma262/multipage/ecmascript-data-types-and-values.html#property-name , which implies exclusion of symbols and private names. |
| 03:04 | <Michael Ficarra> | I just remembered that we need to include recent ecmarkup improvements (https://github.com/tc39/ecmarkup/releases/tag/v24.1.0) in our editor update slides for the next plenary |
| 03:04 | <Michael Ficarra> | let's collectively try not to forget to do that |
| 03:08 | <Michael Ficarra> | it looks like we actually already have quite a bit of precedent for just using name for this |
| 03:53 | <Michael Ficarra> | I screwed up and briefly pushed a commit to main again, but then force-pushed it off as quickly as I could |
| 03:53 | <Michael Ficarra> | I wish we had a way to prevent that from happening... |
| 07:18 | <nicolo-ribaudo> | You can locally set a different pull and push URL for your "upstream" remote |
| 07:19 | <nicolo-ribaudo> | Putting something invalid for pushing |
| 10:34 | <Michael Ficarra> | only for the main branch? |
| 10:37 | <Michael Ficarra> | my problem is that I usually create a branch before starting to work, but sometimes I just start to work on main and then forget to create a branch when I'm done, hurry to get things pushed because I've gotta leave or something, then accidentally push to main and it just allows it, no questions asked |
| 10:51 | <nicolo-ribaudo> |
|
| 21:05 | <ljharb> | just delete your main branch entirely, you don't need it |
| 21:05 | <ljharb> | when you want to make a new one, git checkout origin/main and go from there |
| 22:11 | <Michael Ficarra> | that's also not a bad suggestion |
| 22:12 | <Michael Ficarra> | so if I accidentally do work in the detached head state, it wouldn't work if I try to push without naming a branch |
| 22:23 | <ljharb> | correct |