mirror of
https://github.com/harvard-edge/cs249r_book.git
synced 2026-05-06 01:28:35 -05:00
Lint checker #17
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @profvjreddi on GitHub (Nov 11, 2023).
Originally assigned to: @uchendui on GitHub.
It would be good if there was a lint checker that would run automatically to (re) format things so that the MD files have a consistent look/feel.
@uchendui commented on GitHub (Nov 19, 2023):
I recommend having the linter only check for formatting issues as opposed to automatically fixing them. This would help avoid merge conflicts and make sure the linter does not mess up the actual content.
@profvjreddi commented on GitHub (Nov 19, 2023):
OK that's a good idea to keep it simple.
On Sun, Nov 19, 2023 at 11:14 AM Ikechukwu Uchendu @.***>
wrote:
--
Vijay Janapa Reddi, Ph. D. |
John L. Loeb Associate Professor of Engineering and Applied Sciences |
John A. Paulson School of Engineering and Applied Sciences |
Science and Engineering Complex (SEC) | 150 Western Ave, Room #5.305 |
Boston, MA 02134 |
Harvard University | Email @.***> | Website
http://scholar.harvard.edu/vijay-janapa-reddi | Google Scholar
https://scholar.google.com/citations?hl=en&user=gy4UVGcAAAAJ&view_op=list_works&sortby=pubdate
| Edge Computing Lab https://edge.seas.harvard.edu | Schedule a Meeting
https://scholar.harvard.edu/vijay-janapa-reddi/schedule | Admin
https://scholar.harvard.edu/vijay-janapa-reddi/contact |