Add configuration options for border

psss / did

What did you do last week, month, year?

https://did.readthedocs.io/

GNU General Public License v2.0

246 stars 104 forks source link

Add configuration options for border #281

Closed mweetman-redhat closed 1 year ago

mweetman-redhat commented 1 year ago

This change allows you to change the border char, or have no border with border_char= in your config. It also allows you to change the width of the border.

mweetman-redhat commented 1 year ago

Hmm... build failed, are you sure we aren't conflicting using separator as an option?

psss commented 1 year ago

The pre-commit failure is unrelated. I've updated the isort version which should fix the problem.

psss commented 1 year ago

Oops, sorry, I've updated your branch from a wrong terminal :-/ Could you please git reset --hard your main branch from the following one?

https://github.com/psss/did/tree/separator

Sorry for the mess.

psss commented 1 year ago

Seems that GitHub does not allow to reopen pull requests created from the main branch. Created a new one.