File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -53,7 +53,7 @@ We'd love support for:
5353
54541 . ** Fork the repository**
5555 ``` bash
56- git clone https://github.com/YOUR_USERNAME /idris2-python-boilerplate.git
56+ git clone https://github.com/twoLoop-40 /idris2-python-boilerplate.git
5757 cd idris2-python-boilerplate
5858 ```
5959
@@ -253,7 +253,7 @@ All contributors will be:
253253
254254## 📞 Questions?
255255
256- - Open a [Discussion](https://github.com/YOUR_USERNAME /idris2-python-boilerplate/discussions)
256+ - Open a [Discussion](https://github.com/twoLoop-40 /idris2-python-boilerplate/discussions)
257257- Tag us on social media
258258- Join our community chat (if we set one up!)
259259
Original file line number Diff line number Diff line change @@ -35,7 +35,7 @@ Natural Language → AI → Idris2 (Dependent Types) → Python + Tests
3535### 1. Clone This Repository
3636
3737``` bash
38- git clone https://github.com/YOUR_USERNAME /idris2-python-boilerplate.git
38+ git clone https://github.com/twoLoop-40 /idris2-python-boilerplate.git
3939cd idris2-python-boilerplate
4040```
4141
You can’t perform that action at this time.
0 commit comments