User talk:Kharnagy

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia
Welcome!

Hello and welcome to Wikipedia. Thank you for your contributions. I hope you like the place and decide to stay. The following links will help you begin editing on Wikipedia:

Please bear these points in mind while editing Wikipedia

The Wikipedia tutorial is a good place to start learning about Wikipedia. If you have any questions, see the help pages, add a question to the village pump or ask me on my talk page. By the way, you can sign your name on Talk and discussion pages using four tildes, like this: ~~~~ (the software will replace them with your signature and the date). Again, welcome!


Kharnagy, you are invited to the Teahouse![edit]

Teahouse logo

Hi Kharnagy! Thanks for contributing to Wikipedia. Come join experienced editors at the Teahouse! The Teahouse is a space where new editors can get help from experienced editors. These editors have been around for a long time and have extensive knowledge about how Wikipedia works. Come share your experiences, ask questions, and get advice from experts. I hope to see you there! Rosiestep (I'm a Teahouse host)

This message was delivered automatically by your robot friend, HostBot (talk) 16:14, 5 August 2014 (UTC)[reply]


Otter[edit]

Hello. Am I correct that there is no relation between Otter (software) and Otter (theorem prover)? I added a hatnote to the former and just want to make sure it makes sense. Thanks. Station1 (talk) 20:43, 20 February 2016 (UTC)[reply]

@Station1:You are correct! Thanks. Kharnagy (talk) 17:29, 22 February 2016 (UTC)[reply]

Speedy deletion nomination of DevOps toolchain[edit]

Hello Kharnagy,

I wanted to let you know that I just tagged DevOps toolchain for deletion, because it seems to be vandalism or a hoax.

If you feel that the article shouldn't be deleted and want more time to work on it, you can contest this deletion, but please don't remove the speedy deletion tag from the top.

You can leave a note on my talk page if you have questions. Kavdiamanju (talk) 19:04, 25 March 2016 (UTC)[reply]

Nomination of DevOps toolchain for deletion[edit]

A discussion is taking place as to whether the article DevOps toolchain is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Wikipedia:Articles for deletion/DevOps toolchain until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion notice from the top of the article. Kavdiamanju (talk) 19:50, 25 March 2016 (UTC)[reply]

Orphaned non-free image File:WinOps logo.png[edit]

⚠

Thanks for uploading File:WinOps logo.png. The image description page currently specifies that the image is non-free and may only be used on Wikipedia under a claim of fair use. However, the image is currently not used in any articles on Wikipedia. If the image was previously in an article, please go to the article and see why it was removed. You may add it back if you think that that will be useful. However, please note that images for which a replacement could be created are not acceptable for use on Wikipedia (see our policy for non-free media).

Note that any non-free images not used in any articles will be deleted after seven days, as described in section F5 of the criteria for speedy deletion. Thank you. ShakespeareFan00 (talk) 11:15, 13 July 2017 (UTC)[reply]

ArbCom 2017 election voter message[edit]

Hello, Kharnagy. Voting in the 2017 Arbitration Committee elections is now open until 23.59 on Sunday, 10 December. All users who registered an account before Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2017 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 3 December 2017 (UTC)[reply]

ArbCom 2018 election voter message[edit]

Hello, Kharnagy. Voting in the 2018 Arbitration Committee elections is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.

The Arbitration Committee is the panel of editors responsible for conducting the Wikipedia arbitration process. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose site bans, topic bans, editing restrictions, and other measures needed to maintain our editing environment. The arbitration policy describes the Committee's roles and responsibilities in greater detail.

If you wish to participate in the 2018 election, please review the candidates and submit your choices on the voting page. MediaWiki message delivery (talk) 18:42, 19 November 2018 (UTC)[reply]

Orphaned non-free image File:WinOps logo.png[edit]

⚠

Thanks for uploading File:WinOps logo.png. The image description page currently specifies that the image is non-free and may only be used on Wikipedia under a claim of fair use. However, the image is currently not used in any articles on Wikipedia. If the image was previously in an article, please go to the article and see why it was removed. You may add it back if you think that that will be useful. However, please note that images for which a replacement could be created are not acceptable for use on Wikipedia (see our policy for non-free media).

Note that any non-free images not used in any articles will be deleted after seven days, as described in section F5 of the criteria for speedy deletion. Thank you. --B-bot (talk) 18:19, 13 July 2019 (UTC)[reply]