empty PR to synchronize my fork

ualib / agda-algebras

The Agda Universal Algebra Library (html docs available at the url below)

https://ualib.github.io/agda-algebras/

Creative Commons Attribution Share Alike 4.0 International

29 stars 7 forks source link

empty PR to synchronize my fork #53

Closed williamdemeo closed 3 years ago

williamdemeo commented 3 years ago

I'm not sure why the master branch of my fork is showing "2 commits ahead" but seems to be identical to origin master of the main repository. Probably I merged other branches into my master unnecessarily.