Получаем бейдж от Aleo на GitHub

Привет! В данной статье я покажу, как получить бейдж на GitHub от проекта Aleo.

Для начала переходим на официальный сайт Aleo.org. Нас интересует раздел Build -> Aleo Docs.

Здесь выбираем "Leo Developer Toolkit". Листаем чуть ниже и видим этот раздел. Здесь описан гайд по получению бейджа. Мы будем делать похожие действия за исключением добавления нескольких команд.

На свой GitHub я уже получил бэйдж, поэтому буду получать его на аккаунте товарища.

Давайте приступать. Для начала открываем Git Bash (если вы не знаете, что это, то прочитайте мои статьи по установке языка программирования Leo).

Для начала нам нужно создать программу, которую мы будем загружать на GitHub. Мы можем не создавать уникальную программу, а просто создать программу с помощью команды example. Вводим следующий текст и нажимаем enter:

leo example tictactoe

Теперь мы можем начать идти по гайду из статьи. Вводим:

cd tictactoe

Тем самым мы перешли в папку с программой. Вводим следующие команды:

git init -b main

git add .

git commit -m "First commit"

После ввода третьей команды мы получили следующий результат.

Нас просят указать email и наше имя. Вводим эти команды.

Вводим email:

И вводим имя:

Теперь снова вводим следующую команду

git commit -m "First commit"

Теперь открываем наш аккаунт в github и создаём новый репозиторий.

Вводим название. Я назову tictactoe

И нажимаем Create repository внизу страницы.

Теперь нам нужно в git bash ввести следующую команду.

git remote add origin <REMOTE_URL>

в Remote_url указываем ссылку на репозиторий, которую вы можете найти в github (она также видна на скриншоте выше).

И теперь вводим команды

git remote -v

git push -u origin main

У нас открывается окно авторизации на github.

Я авторизуюсь через браузер.

Нажимаем авторизоваться, вводим пароль от нашего аккаунта github. И всё. Репозиторий загружен.

Теперь нам осталось заклеимть бейдж. Для этого переходим на сайт:

https://github.com/AleoHQ/leo/issues

Нажимаем кнопку new issue.

И выбираем данную вкладку.

Меняем заголовок по этому шаблону.

Add <your_github_username> to contributors

И описание по этому

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>

В BADGE_TYPE указываем Tutorial.

Ссылка на репозиторий указана здесь

Остается лишь отправить, нажам submit new issue.

На этом всё. Всем пока!