This is work in progress, but it would be helpful to include it in order to increase awareness and obtain contributions.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
## 📋 Pull Request Information
**Original PR:** https://github.com/sindresorhus/awesome/pull/657
**Author:** [@dspinellis](https://github.com/dspinellis)
**Created:** 5/16/2016
**Status:** ❌ Closed
**Base:** `master` ← **Head:** `dspinellis-msr`
---
### 📝 Commits (1)
- [`7cbda8e`](https://github.com/sindresorhus/awesome/commit/7cbda8ed662b4568bfea8ce5595a8bbd416b6fc7) Add mining software repositories list
### 📊 Changes
**1 file changed** (+1 additions, -0 deletions)
<details>
<summary>View changed files</summary>
📝 `readme.md` (+1 -0)
</details>
### 📄 Description
This is work in progress, but it would be helpful to include it in order to increase awareness and obtain contributions.
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/sindresorhus/awesome/pull/657
Author: @dspinellis
Created: 5/16/2016
Status: ❌ Closed
Base:
master← Head:dspinellis-msr📝 Commits (1)
7cbda8eAdd mining software repositories list📊 Changes
1 file changed (+1 additions, -0 deletions)
View changed files
📝
readme.md(+1 -0)📄 Description
This is work in progress, but it would be helpful to include it in order to increase awareness and obtain contributions.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.