Tutorial: claim your Aleo Leo contributor badge on GitHub

Becoming a contributor to the Aleo Leo project is a commendable achievement, and claiming your well-deserved badge is a simple process. This guide will walk you through the steps to push your Leo app to GitHub and initiate the badge claim process.

Push your Leo app to GitHub

1. Initialize a Git repository: open your terminal and navigate to your Leo project’s root folder. If you’re not there, try cd <your_project_folder> to get there. Initialize your project as a Git repository.

git init -b main

2. Add and commit files: add the files to your local repository, staging them for the first commit.

git add . git commit -m "First commit"

Note: Use git status at any point to check the status of your Git commands.

3. Create a repository on GitHub: visit GitHub and create a new repository. Do not initialize it with README, license, or gitignore files.

4. Add remote repository and push: copy the remote repository URL from GitHub and execute the following commands in your terminal.

git remote add origin <REMOTE_URL> git push -u origin main

Note: Verify your remote repository with git remote -v.

My example of a ready tic-tac-toe repo:

GitHub - Nininiao/tictactoe-aleo: Aleo tic-tac-toe game

Claim your badge

1. Visit Leo’s GitHub repository: go to the Leo repository on GitHub.

GitHub - AleoHQ/leo: 🦁 The Leo Programming Language. A Programming Language for Formally Verified…

2. Star the repository: give the repository a star to show your appreciation.

3. Create a new issue: click on “New Issue” in the top right corner.

Here:

Issues · AleoHQ/leo

4. Start Leo contributor badge issue: click “Get started” in the Leo contributor badge row.

5. Title and describe your issue: title your issue as “Add <your_github_username> to contributors.” Fill in the details about the tutorial and requested badge type.

Hi Aleo team! I'm claiming my contributor badge for completing the New Developer Toolkit tutorial.

Tutorial Repo: <GITHUB_REPO_URL>
Requested badge: <BADGE_TYPE>

6. Submit your issue: click “Submit new issue.”

Note: For a unique Leo application, use “Content” as your badge type; otherwise, use “Tutorial.”

My example:

Add Nininiao to contributors · Issue #2643 · AleoHQ/leo

7. Approval and recognition: once approved, you will be added to the Contributors section of the Leo README.md file.

You can read the official documentation as well:

Leo Developer Toolkit | Welcome to Aleo Documentation

Congratulations on your accomplishment! You are now officially recognized as a Leo contributor.

How to track Aleo?
Twitter | Discord |Website

Prepared by niniao