metadata

title: Transformers Github Bot
emoji: 📉
colorFrom: green
colorTo: pink
sdk: gradio
sdk_version: 4.19.1
app_file: app.py
pinned: false
license: apache-2.0

Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

Issue bot 🤖

This bot is designed to help you manage your GitHub issues. At the moment, it can:

Find similar issues to another issue
Find similar issues similar to a query

Usage

Update stored issues and embeddings

If you want to use the command line to manually update you can run:

# Fetches and saves new issues to issues.json
python utils/fetch.py --update

# Updates and issues which have had a status change and save to issues.json
python utils/update_stored_issues.py

# Update index of issues
python utils/build_issue_dict.py

# Update embeddings for issues
python utils/build_embeddings.py issue --update

# Update embeddings for pull requests
python utils/build_embeddings.py pull --update

Find similar issues to another issue

By issue number:

python utils/find_similar_issues.py --issue_no <issue_number>

By query:

python utils/find_similar_issues.py --query <query>

TODO

Find who to assign an issue to