Closed clark2668 closed 4 years ago
Sure! I wrote a reply inline above.
no problems, will go ahead and merge
oh, actually, I guess I can't because I don't have write permissions. can you do the merge @cg-laser?
you should have write permissions. Just just need an approving review (which I just did). But we have the policy to wait 24h before we merge so that everyone has the opportunity to comment.
Hmm, the only option it shows me is "close and comment", and it says "Only those with write access to this repository can merge pull requests." So it doesn't seem like I can?
But good point, we will wait till tomorrow in any case!
Yes you're right. I gave you write access now.
Issue being addressed:
This updates the antenna documentation to fix some mistakes, and add clarifying content.