[BenLurkin]

Revoke. Not repeal.

[Trump.Deplorable]

Some activist judge will declare it law, like they did with DACA nonsense

[Robert DeLong]

“Repeal” means (to annul or countermand some decision), but is used when the decision is a law, or a regulation with similar status.

“Revoke” means (to annul or countermand some decision), but is used when the decision is a decree, or some form of permission issued by an official.

So you are correct in your usage of semantics. 8>)

The difference being, of course, the origin of the decree. It was never enacted as a law by Congress, apparently.

[TexasGator]

Repeal